Greetings! If you hav a moment and can pin it down to a function (maybe trace compiler::t1defun...), that would be helpful, otherwise I'll get to it at some point.
Take care, Robert Boyer <[EMAIL PROTECTED]> writes: > Under today's 2.7.0, I was no longer able to build ACL2 2.9.4 with (push > :acl2-mv-as-values *features*). The compilation seemed to go into endless > gcs in the compilation of other-events.lisp, analogous to the problem you > solved earlier in the compilation of defuns.lisp. Without the "push", the > build goes through fine. My guess is that somewhere in the compiler's type > analysis, you are going off the deep end (exponential) trying to deal with > functions that return 20+ values whereas they used to return 1. Let me know > if you want me to isolate the problem to the compilation of a specific ACL2 > function. > > Bob > > > > > > > -- Camm Maguire [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/gcl-devel
