Bill Page <bill.p...@newsynthesis.org> writes: | 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.
that wasn't clear to me as you seemed to report many bugs at the same time (or maybe wa sit just refinements?); I thought I had to compile each file (in the bug report) to reproduce them each of time. I will try again. Thanks. PS: Ideally, it would be nice if I could just download one file and feed it to OpenAxiom to reproduce the bug. | | 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
