On Mon, Dec 5, 2011 at 6:23 PM, Gabriel Dos Reis wrote: > Bill Page <bill.p...@newsynthesis.org> writes: > ... > | Oddly, this variant: > | > | MonadCat(A : SetCategory, M: SetCategory -> SetCategory): Category == with > | join: M M A -> M A > | > | gives a different result: > | > | >> System error: > | Control stack exhausted (no more space for function call frames). > | This is probably due to heavily nested or infinitely recursive function > | calls, or a tail call that SBCL cannot or has not optimized away. > | > | PROCEED WITH CAUTION. > > That compiles fine with OpenAxiom. >
I am sorry. I took it for granted that it was understood that these errors are all generated when compiling MySet with this or another definition of MonadCat. Regards, Bill Page. ------------------------------------------------------------------------------ All the data continuously generated in your IT infrastructure contains a definitive record of customers, application performance, security threats, fraudulent activity, and more. Splunk takes this data and makes sense of it. IT sense. And common sense. http://p.sf.net/sfu/splunk-novd2d _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
