[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#90 coredump with infinite stream]
From: |
Bill Page |
Subject: |
[Axiom-developer] [#90 coredump with infinite stream] |
Date: |
Mon, 25 Jul 2005 20:02:38 -0500 |
Changes
http://page.axiom-developer.org/zope/mathaction/90CoredumpWithInfiniteStream/diff
--
??changed:
-I understand that the following is not a smart thing to do. Axiom should
complain, but it just coredumps silently:
-
-\begin{verbatim}
-===
-primes:Stream Integer := generate(nextPrime, 2)
-smallerThan(stream, n) == [ s for s in stream | s < n ]
-smallerThan(primes, 100) -- Axiom 3.0 Beta coredumps
-===
I understand that the following is not a smart thing to do. Axiom should
complain, but it just coredumps silently::
!\begin{axiom}
primes:Stream Integer := generate(nextPrime, 2)
smallerThan(stream, n) == [ s for s in stream | s < n ]
smallerThan(primes, 100) -- Axiom 3.0 Beta coredumps
\end{axiom}
--removed:
-\end{verbatim}
??changed:
-\begin{verbatim}
\begin{axiom}
??changed:
-\end{verbatim}
\end{axiom}
--removed:
-
??changed:
-\begin{axiom}
-entries p
-\end{axiom}
\begin{axiom}
entries p
\end{axiom}
??changed:
-\begin{axiom}
-largerThan(st,n)==[s for s in st | not(s < n)]
-largerThan(p,5)
-\end{axiom}
-
-This one below crashes, but not for the NAG version, which gives the correct
answer.
-
-\begin{axiom}
-before(st, n)==filterWhile(s+-> s < n, st)
-before(p,5)
-\end{axiom}
-
-And this also crashes (whereas it does NOT crash for NAG version, giving the
correct answer).
-\begin{axiom}
-lessThan(n)==filterWhile(s+-> (s < n), p)
-lessThan(5)
-\end{axiom}
This crashes::
!\begin{axiom}
largerThan(st,n)==[s for s in st | not(s < n)]
largerThan(p,5)
\end{axiom}
This one below crashes, but not for the NAG version, which gives the correct
answer::
!\begin{axiom}
before(st, n)==filterWhile(s+-> s < n, st)
before(p,5)
\end{axiom}
And this also crashes (whereas it does NOT crash for NAG version, giving the
correct answer).::
!\begin{axiom}
lessThan(n)==filterWhile(s+-> (s < n), p)
lessThan(5)
\end{axiom}
--removed:
-
-From unknown Fri Feb 11 02:04:39 -0600 2005
-From:
-Date: Fri, 11 Feb 2005 02:04:39 -0600
-Subject: Example where Interpreter/Compiler differs from NAG version
-Message-ID: <address@hidden>
-
-
-
-From unknown Tue Mar 8 05:15:13 -0600 2005
-From:
-Date: Tue, 08 Mar 2005 05:15:13 -0600
-Subject: property change
-Message-ID: <address@hidden>
-
-
--removed:
-From unknown Mon Jul 25 19:24:05 -0500 2005
-From: unknown
-Date: Mon, 25 Jul 2005 19:24:05 -0500
-Subject:
-Message-ID: <address@hidden>
-
-\begin{axiom}
-matrix[[2,2],[2,2]]
-\end{axiom}
-
-
-
-
-
--
forwarded from http://page.axiom-developer.org/zope/mathaction/address@hidden