[Sbcl-devel] NIL is not of type (MOD most-positive-fixnum) when compiling a function call

[Gregory V. <g.v...@wa...>]

Hello,

Here is a bug, that I hope will be reproducible. For an unknown reason,
maybe because of software upgrades, SBCL  no longer compile a
"top-level" function call. This bug was not triggered one week ago with
the same Lisp image... I have no idea why. What I'm sure is that when I
upgraded SBCL (from 1.0.1) to SBCL-1.0.2 on Windows (32bit) I
encountered immediately this bug.

If I use the SBCL-1.0.1 version of src/compiler/fopcompile.lisp the bug
goes away (if that helps).

System : Debian GNU/Linux AMD64 (64bit mode) (and WIN XP 32 bit too)



So here it is:

greg@ahost:~$ cat sbcl_bug.lisp 
(eval-when (:load-toplevel)
(atest tes 12))
greg@ahost:~$ rlwrap ./tt/sbcl-1.0.2/src/runtime/sbcl --core
tt/sbcl-1.0.2/output/sbcl.core 
This is SBCL 1.0.2, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses.  See the CREDITS and COPYING files in the
distribution for more information.
* (compile-file "sbcl_bug")

; compiling file "/home/greg/sbcl_bug.lisp" (written 06 FEB 2007
05:29:40 PM):
; compiling (ATEST TES ...)
debugger invoked on a TYPE-ERROR:
  The value NIL is not of type (MOD 1152921504606846975).

Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [ABORT] Exit debugger, returning to top level.

(SB-FASL::DUMP-PUSH NIL #<SB-FASL:FASL-OUTPUT
"/home/greg/sbcl_bug.fasl">)
0] ba

0: (SB-FASL::DUMP-PUSH NIL #<SB-FASL:FASL-OUTPUT
"/home/greg/sbcl_bug.fasl">)
1: (SB-C::FOPCOMPILE (ATEST TES 12) (SB-C::ORIGINAL-SOURCE-START 2 2 0)
NIL)
2: (SB-C::CONVERT-AND-MAYBE-COMPILE
    (ATEST TES 12)
    (SB-C::ORIGINAL-SOURCE-START 2 2 0))
3: ((FLET SB-C::DEFAULT-PROCESSOR) (ATEST TES 12))
4: (SB-C::PROCESS-TOPLEVEL-FORM
    (ATEST TES 12)
    (SB-C::ORIGINAL-SOURCE-START 0 0)
    NIL)
5: (SB-C::PROCESS-TOPLEVEL-PROGN
    ((ATEST TES 12))
    (SB-C::ORIGINAL-SOURCE-START 0 0)
    NIL)
6: (SB-C::PROCESS-TOPLEVEL-FORM
    (EVAL-WHEN (:LOAD-TOPLEVEL) (ATEST TES 12))
    (SB-C::ORIGINAL-SOURCE-START 0 0)
    NIL)
7: (SB-C::SUB-SUB-COMPILE-FILE #<SB-C::SOURCE-INFO >)
8: ((LAMBDA ()))
9: (SB-C::%WITH-COMPILATION-UNIT #<CLOSURE (LAMBDA #) {1002382D39}>)
10: (SB-C::SUB-COMPILE-FILE #<SB-C::SOURCE-INFO >)
11: (COMPILE-FILE "sbcl_bug")
12: (SB-INT:SIMPLE-EVAL-IN-LEXENV (COMPILE-FILE "sbcl_bug")
#<NULL-LEXENV>)
13: (INTERACTIVE-EVAL (COMPILE-FILE "sbcl_bug"))
14: (SB-IMPL::REPL-FUN NIL)
15: (SB-IMPL::REPL-FUN NIL)
16: ((LAMBDA ()))
17: ((LAMBDA ()))
18: (SB-IMPL::%WITH-REBOUND-IO-SYNTAX #<CLOSURE (LAMBDA #)
{1002370539}>)
19: (SB-IMPL::TOPLEVEL-REPL NIL)
20: (SB-IMPL::TOPLEVEL-INIT)
21: ((LABELS SB-IMPL::RESTART-LISP))

0] 


Greg