I understand that the following is not a smart thing to do.  Axiom should complain, but it just coredumps silently:
===
primes:Stream Integer := generate(nextPrime, 2)
smallerThan(stream, n) == [ s for s in stream | s < n ]
smallerThan(primes, 100) -- Axiom 3.0 Beta coredumps
===
Matthias

------------------------------------------------------------


duplicate --Tim Daly, Tue, 08 Feb 2005 05:43:35 -0600

Status: open => closed 




property change --Tue, 08 Mar 2005 05:16:15 -0600