From: <me...@ho...> - 2005-07-01 09:49:08
|
debugger invoked on a SB-INT:SIMPLE-COMPILER-NOTE in thread 1075404928: unable to fold zero arg due to type uncertainty: The first argument is a FIXNUM, not a (INTEGER 0 0). Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL. restarts (invokable by number or by possibly-abbreviated name): 0: [MUFFLE-WARNING] MUFFLE-WARNING 1: [ABORT ] Exit debugger, returning to top level. ((LAMBDA (C)) #<SB-INT:SIMPLE-COMPILER-NOTE {97A54A9}>) 0] ba 0: ((LAMBDA (C)) #<SB-INT:SIMPLE-COMPILER-NOTE {97A54A9}>) 1: (SIGNAL #<SB-INT:SIMPLE-COMPILER-NOTE {97A54A9}>) 2: (SB-C:COMPILER-NOTIFY "~@<unable to ~ ~2I~_~A ~ ~I~_due to type uncertainty: ~ ~2I~_~{~?~^~@:_~}~:>") 3: (SB-C::NOTE-FAILED-OPTIMIZATION #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF # {978E419}> :ARGS (#<SB-C::COMBINATION :FUN # :ARGS # {978E911}> #<SB-C::REF :LEAF # {9791E51}>) {978E451}> ((#<SB-C::TRANSFORM :TYPE #<SB-KERNEL:FUN-TYPE #> :NOTE "fold zero arg" :IMPORTANT NIL> . #<SB-KERNEL:FUN-TYPE (FUNCTION (# INTEGER) *)>))) 4: (MAPHASH #<FUNCTION SB-C::NOTE-FAILED-OPTIMIZATION> #<HASH-TABLE :TEST EQ :COUNT 6 {978B001}>) 5: (SB-C::IR1-FINALIZE #<SB-C:COMPONENT :NAME NIL {978AE51}>) 6: (SB-C::IR1-PHASES #<SB-C:COMPONENT :NAME NIL {978AE51}>) 7: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME NIL {978AE51}>) 8: (SB-C::%COMPILE (LAMBDA (Y) (DECLARE (OPTIMIZE SPEED) (TYPE (INTEGER 0 3) Y)) (* Y 45063894)) #<SB-C::CORE-OBJECT >) 9: ((LAMBDA ())) 10: (SB-C::%WITH-COMPILATION-UNIT #<CLOSURE (LAMBDA #) {9788F8D}>) 11: (SB-C::ACTUALLY-COMPILE NIL (LAMBDA (Y) (DECLARE (OPTIMIZE SPEED) (TYPE (INTEGER 0 3) Y)) (* Y 45063894)) #<NULL-LEXENV>) 12: (SB-C:COMPILE-IN-LEXENV NIL (LAMBDA (Y) (DECLARE (OPTIMIZE SPEED) (TYPE (INTEGER 0 3) Y)) (* Y 45063894)) #<NULL-LEXENV>) 13: (COMPILE NIL (LAMBDA (Y) (DECLARE (OPTIMIZE SPEED) (TYPE (INTEGER 0 3) Y)) (* Y 45063894))) ... |
From: William H. N. <wil...@ai...> - 2005-07-02 21:07:31
|
On Fri, Jul 01, 2005 at 11:47:19AM +0200, G?bor Melis wrote: > debugger invoked on a SB-INT:SIMPLE-COMPILER-NOTE in thread 1075404928: > unable to > fold zero arg > due to type uncertainty: > The first argument is a FIXNUM, not a (INTEGER 0 0). > > Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL. > > restarts (invokable by number or by possibly-abbreviated name): > 0: [MUFFLE-WARNING] MUFFLE-WARNING > 1: [ABORT ] Exit debugger, returning to top level. > > ((LAMBDA (C)) #<SB-INT:SIMPLE-COMPILER-NOTE {97A54A9}>) > 0] ba > > 0: ((LAMBDA (C)) #<SB-INT:SIMPLE-COMPILER-NOTE {97A54A9}>) > 1: (SIGNAL #<SB-INT:SIMPLE-COMPILER-NOTE {97A54A9}>) [etc.] I just saw this failure also, on my sbcl-0.9.2.14-withouttabs (on Debian, on ThinkPad). I'm glad that it's not just some bizarre side effect of detabification. -- William Harold Newman <wil...@ai...> PGP key fingerprint 85 CE 1C BA 79 8D 51 8C B9 25 FB EE E0 C3 E5 7C Ubi saeva indignatio ulterius cor lacerare nequit. -- Jonathan Swift's epitaph |
From: Thiemo S. <th...@ne...> - 2005-07-03 14:30:11
|
William Harold Newman wrote: > On Fri, Jul 01, 2005 at 11:47:19AM +0200, G?bor Melis wrote: > > debugger invoked on a SB-INT:SIMPLE-COMPILER-NOTE in thread 1075404928: > > unable to > > fold zero arg > > due to type uncertainty: > > The first argument is a FIXNUM, not a (INTEGER 0 0). > > > > Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL. > > > > restarts (invokable by number or by possibly-abbreviated name): > > 0: [MUFFLE-WARNING] MUFFLE-WARNING > > 1: [ABORT ] Exit debugger, returning to top level. > > > > ((LAMBDA (C)) #<SB-INT:SIMPLE-COMPILER-NOTE {97A54A9}>) > > 0] ba > > > > 0: ((LAMBDA (C)) #<SB-INT:SIMPLE-COMPILER-NOTE {97A54A9}>) > > 1: (SIGNAL #<SB-INT:SIMPLE-COMPILER-NOTE {97A54A9}>) > [etc.] > > I just saw this failure also, on my sbcl-0.9.2.14-withouttabs (on > Debian, on ThinkPad). I'm glad that it's not just some bizarre side > effect of detabification. Same here for mips (CVS HEAD + local patches). Thiemo |
From: Nathan F. <fr...@cs...> - 2005-07-05 20:47:09
|
On Fri, Jul 01, 2005 at 11:47:19AM +0200, G=E1bor Melis wrote: > debugger invoked on a SB-INT:SIMPLE-COMPILER-NOTE in thread 1075404928: > unable to > fold zero arg > due to type uncertainty: > The first argument is a FIXNUM, not a (INTEGER 0 0). This is "fixed" in 0.9.2.31; the tests now run, but the bug which 0.9.2.6 purported to fix has returned. Fixes welcome. --=20 Nathan | From Man's effeminate slackness it begins. --Paradise Lost The last good thing written in C was Franz Schubert's Symphony Number 9. --Erwin Dieterich |