[Axiom-developer] [#90 coredump with infinite stream]

[Bill Page]

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