axiom-developer
[Top][All Lists]

[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
-
-\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
-\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

!\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

!\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
-
-
-
-From unknown Tue Mar 8 05:15:13 -0600 2005
-From:
-Date: Tue, 08 Mar 2005 05:15:13 -0600
-Subject: property change
-
-

--removed:
-From unknown Mon Jul 25 19:24:05 -0500 2005
-From: unknown
-Date: Mon, 25 Jul 2005 19:24:05 -0500
-Subject:
-
-\begin{axiom}
-matrix[[2,2],[2,2]]
-\end{axiom}
-
-
-
-
-

--