From: Eric M. <eri...@fr...> - 2011-08-15 17:03:02
|
(lisp-implementation-version) "1.0.50.54-5abf3b4" * (lambda (a b c) (declare (type (member -2 1) b)) (array-in-bounds-p a 4 b c)) debugger invoked on a TYPE-ERROR : The value #<SB-KERNEL:UNION-TYPE (OR (INTEGER -2 -2) (INTEGER 1 1))> is not of type SB-KERNEL:NUMERIC-TYPE. 0] backtrace 0: ((LAMBDA (#:G27)) #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF # {1003324701}> :ARGS (#<CAST :%TYPE-CHECK T :VALUE # :ASSERTED-TYPE # :TYPE-TO-CHECK # {100332B6C1}> #<SB-C::REF :LEAF # {1003324A91}> #<SB-C::REF :%SOURCE-NAME B :LEAF # {1003324C01}> #<CAST :%TYPE-CHECK T :VALUE # :ASSERTED-TYPE # :TYPE-TO-CHECK # {1003325051}>) {1003324781}>) 1: (SB-C::IR1-TRANSFORM #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF # {1003324701}> :ARGS (#<CAST :%TYPE-CHECK T :VALUE # :ASSERTED-TYPE # :TYPE-TO-CHECK # {100332B6C1}> #<SB-C::REF :LEAF # {1003324A91}> #<SB-C::REF :%SOURCE-NAME B :LEAF # {1003324C01}> #<CAST :%TYPE-CHECK T :VALUE # :ASSERTED-TYPE # :TYPE-TO-CHECK # {1003325051}>) {1003324781}> #<SB-C::TRANSFORM :TYPE #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :NOTE "optimize" :IMPORTANT NIL>) 2: (SB-C::IR1-OPTIMIZE-COMBINATION #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF # {1003324701}> :ARGS (#<CAST :%TYPE-CHECK T :VALUE # :ASSERTED-TYPE # :TYPE-TO-CHECK # {100332B6C1}> #<SB-C::REF :LEAF # {1003324A91}> #<SB-C::REF :%SOURCE-NAME B :LEAF # {1003324C01}> #<CAST :%TYPE-CHECK T :VALUE # :ASSERTED-TYPE # :TYPE-TO-CHECK # {1003325051}>) {1003324781}>) 3: (SB-C::IR1-OPTIMIZE-BLOCK #<SB-C::CBLOCK 5 :START c1 {1003324441}>) 4: (SB-C::IR1-OPTIMIZE #<SB-C:COMPONENT :NAME "LAMBDA (A B C)" {1003329B51}> NIL) 5: (SB-C::IR1-OPTIMIZE-UNTIL-DONE #<SB-C:COMPONENT :NAME "LAMBDA (A B C)" {1003329B51}>) 6: (SB-C::IR1-PHASES #<SB-C:COMPONENT :NAME "LAMBDA (A B C)" {1003329B51}>) -- Eric Marsden |
From: Nikodemus S. <nik...@ra...> - 2011-08-15 21:24:14
|
On 15 August 2011 20:02, Eric Marsden <eri...@fr...> wrote: > * (lambda (a b c) > (declare (type (member -2 1) b)) > (array-in-bounds-p a 4 b c)) > debugger invoked on a TYPE-ERROR : > The value #<SB-KERNEL:UNION-TYPE (OR (INTEGER -2 -2) (INTEGER 1 1))> > is not of type SB-KERNEL:NUMERIC-TYPE. Logged as https://bugs.launchpad.net/sbcl/+bug/826970, with a fix waiting out the freeze. Cheers, -- Nikodemus |