Re: Type error in SB-KERNEL:VALUES-TYPE-UNION

Fixed. Thanks.

On Mon, Aug 17, 2026 at 3:47 PM Eric Marsden via Sbcl-devel
<[email protected]> wrote:
>
> 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


_______________________________________________
Sbcl-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/sbcl-devel