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

Gabriel Dos Reis gdr at cs.tamu.edu
Fri May 14 22:44:42 UTC 2010


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

-- Gaby

Index: src/cold/shared.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/cold/shared.lisp,v
retrieving revision 1.41
diff -p -r1.41 shared.lisp
*** src/cold/shared.lisp	5 May 2009 20:02:12 -0000	1.41
--- src/cold/shared.lisp	14 May 2010 22:39:13 -0000
***************
*** 48,53 ****
--- 48,54 ----
     #+lispworks ".ufsl" ; as per Lieven Marchand sbcl-devel 2002-02-01
     #+(and openmcl (not darwin)) ".pfsl"
     #+(and openmcl darwin) ".dfsl"
+    #+ecl ".fas"
     ;; On most xc hosts, any old extension works, so we use an
     ;; arbitrary one.
     ".lisp-obj"))




More information about the ecl-devel mailing list