[Ecls-list] A bug was found in the compiler

[Gabriel Dos Reis]

On Fri, May 14, 2010 at 5:44 PM, Gabriel Dos Reis <gdr at cs.tamu.edu> wrote:
> Hi Juanjo,
>
>  As I cannot build OpenAxiom with ECL HEAD, despite commits from today,
> I tried to see the effect of the improvement on building SBCL with ECL.
> I was almost pleasantly surprised:  the build went much further than it
> used to; but it still fails:
>
> ;;; Note:
> ;;;   in file late-type.lisp, position 21076
> ;;;   at (DEFUN VALUES-TYPE-OUT ...)
> ;;;   Replacing variable TYPE by its value
> ;;; Emitting code for PROCESS-TYPES.
> ;;; Emitting code for VALUES-TYPE-IN.
>
> Internal error:
>  in file late-type.lisp, position 21832
>  at (DEFUN VALUES-TYPE-IN ...)
>  ** A bug was found in the compiler
> Available restarts:
>
> 1. (ABORT) ABORT
> 2. (RESTART-TOPLEVEL) Go back to Top-Level REPL.
>
>
> Here is how you can reproduce the bug:
>
>  (1) check out SBCL CVS HEAD
>  (2) apply the patch below
>  (3) issue ./make.sh ecl
>

Hi Juanjo,

  Your recent commits (yesterday or today depending on where you are)
have made some improvements.  The build no longer dies in the
compilation of VALUES-TYPE-IN.  It goes further (yay!), and now I am
getting

;;; Loading "/home/gdr/src/sbcl.cvs/obj/from-host/src/code/deftypes-for-target.fas"

The function (SETF CLASSOID-CELL-PCL-CLASS) is undefined.
Available restarts:

1. (RESTART-TOPLEVEL) Go back to Top-Level REPL.

Broken at SI:BYTECODES. [Evaluation of: (EVAL-WHEN (:LOAD-TOPLEVEL
:EXECUTE) (SB!IMPL::%DEFTYPE 'LAYOUT-CLOS-HASH))]
 File: #P"/home/gdr/src/sbcl.cvs/obj/from-host/src/code/deftypes-for-target.fas"
(Position #NIL)
SB!KERNEL>>


I suspect this might be related to your changes to SETF.

-- Gaby