[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] Re: 2.7.0

From: Camm Maguire
Subject: [Gcl-devel] Re: 2.7.0
Date: 25 Feb 2006 12:44:27 -0500
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]