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. 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.
