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:42:59 -0600 Status: open => closed property change --Tue, 08 Mar 2005 05:52:59 -0600 |