[Gcl-devel] Re: 2.7.0

[Camm Maguire]

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 <address@hidden> 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                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah