Type error in SB-KERNEL:VALUES-TYPE-UNION
Eric Marsden via Sbcl-devel <[email protected]>
| Newsgroups | gmane.lisp.steel-bank.devel |
|---|---|
| Message-ID | <[email protected]> |
Hi,
From random-integer testing on AMD64.
* (lisp-implementation-version)
"2.6.7.141-0a1f43ff5"
* (defun foo (a b)
(plusp (if (< 0 b) 0 (ldb (byte 19 0) a))))
debugger invoked on a TYPE-ERROR @B800204D52 in thread
#<THREAD tid=167940 "main thread" RUNNING {1200D18003}>:
The value
#<SB-KERNEL:NUMERIC-UNION-TYPE (UNSIGNED-BYTE 64)>
is not of type
SB-KERNEL:ARGS-TYPE
Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.
restarts (invokable by number or by possibly-abbreviated name):
0: [ABORT] Exit debugger, returning to top level.
(SB-KERNEL:VALUES-TYPE-TYPES #<SB-KERNEL:NUMERIC-UNION-TYPE
(UNSIGNED-BYTE 64)> #<SB-KERNEL:NAMED-TYPE NIL>)
0] backtrace
Backtrace for: #<SB-THREAD:THREAD tid=167940 "main thread" RUNNING
{1200D18003}>
0: (SB-KERNEL:VALUES-TYPE-TYPES #<SB-KERNEL:NUMERIC-UNION-TYPE
(UNSIGNED-BYTE 64)> #<SB-KERNEL:NAMED-TYPE NIL>)
1: (SB-KERNEL::ARGS-TYPE-OP #<SB-KERNEL:VALUES-TYPE (VALUES (INTEGER 0
0) &OPTIONAL)> #<SB-KERNEL:NUMERIC-UNION-TYPE (UNSIGNED-BYTE 64)>
#<FUNCTION SB-KERNEL:TYPE-UNION> #<FUNCTION MIN> NIL)
2: (SB-KERNEL::VALUES-TYPE-OP #<SB-KERNEL:VALUES-TYPE (VALUES (INTEGER 0
0) &OPTIONAL)> #<SB-KERNEL:NUMERIC-UNION-TYPE (UNSIGNED-BYTE 64)>
#<FUNCTION SB-KERNEL:TYPE-UNION> #<FUNCTION MIN> NIL)
3: (SB-KERNEL:VALUES-TYPE-UNION #<SB-KERNEL:VALUES-TYPE (VALUES (INTEGER
0 0) &OPTIONAL)> #<SB-KERNEL:NUMERIC-UNION-TYPE (UNSIGNED-BYTE 64)>)
4: (SB-C::%LVAR-DERIVED-TYPE #<SB-C::LVAR 1 {1202C5AA43}>)
5: ((LABELS SB-C::ERASE :IN SB-C::ERASE-LVAR-TYPE) #<SB-C::LVAR 1
{1202C5AA43}> NIL)
6: ((SB-C:DEFTRANSFORM SB-KERNEL:%LDB) #<SB-C::COMBINATION :FUN
SB-KERNEL:%LDB :ARGS (#<SB-C::REF :LEAF 19 {1202C5B6E3}> #<SB-C::REF
:LEAF 0 {1202C5B7D3}> #<CAST :%TYPE-CHECK T :VALUE #<SB-C::LVAR 2
{1202C5B873}> :ASSERTED-TYPE #1=#<SB-KERNEL:NUMERIC-UNION-TYPE INTEGER>
:TYPE-TO-CHECK #1# {1202C5B983}>) {1202C5B553}>)
7: (SB-C::IR1-OPTIMIZE-COMBINATION #<SB-C::COMBINATION :FUN
SB-KERNEL:%LDB :ARGS (#<SB-C::REF :LEAF 19 {1202C5B6E3}> #<SB-C::REF
:LEAF 0 {1202C5B7D3}> #<CAST :%TYPE-CHECK T :VALUE #<SB-C::LVAR 2
{1202C5B873}> :ASSERTED-TYPE #1=#<SB-KERNEL:NUMERIC-UNION-TYPE INTEGER>
:TYPE-TO-CHECK #1# {1202C5B983}>) {1202C5B553}>)
8: (SB-C::IR1-OPTIMIZE #<SB-C:COMPONENT :NAME (DEFUN FOO) :REANALYZE T
{1202C5CF43}> NIL)
_______________________________________________
Sbcl-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/sbcl-devel