Bill Page <[email protected]> writes: | On Mon, Dec 5, 2011 at 6:23 PM, Gabriel Dos Reis wrote: | > Bill Page <[email protected]> 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. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
