Re: Infloop in type derivation, SB-C::NODE-HOME-LAMBDA

Fixed. Thanks.

On Wed, Feb 11, 2026 at 1:25 PM Eric Marsden via Sbcl-devel
<[email protected]> wrote:
>
> Hi,
>
> The following function seems to be stuck in an infinite loop during
> compilation, on AMD64.
>
> * (lisp-implementation-version)
> "2.6.1.111-a927f1190"
> * (lambda (a)
>      (declare (type (member 9487488659326318736 -4575/796) a))
>      (type-of (the (integer 9487488659326134648 9487488659326449806) a)))
>
>    C-c C-c
> debugger invoked on a SB-SYS:INTERACTIVE-INTERRUPT @B800348644 in thread
> restarts (invokable by number or by possibly-abbreviated name):
>    0: [CONTINUE] Return from SB-UNIX:SIGINT.
>    1: [ABORT   ] Exit debugger, returning to top level.
>
> (SB-C::NODE-HOME-LAMBDA #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF
> #<SB-C::CLAMBDA :%SOURCE-NAME SB-C::.ANONYMOUS. :%DEBUG-NAME
> (SB-C::TRANSFORM-FOR SB-KERNEL:UNSIGNED-BYTE-64-P) :KIND (NIL) :TYPE
> #<SB-KERNEL:BUILT-IN-CLASSOID FUNCTION (read-only)> :WHERE-FROM :DEFINED
> :VARS (SB-C::OBJECT) {1206329F03}> {12063296D3}> :ARGS (#<SB-C::REF
> :%SOURCE-NAME SB-C::OBJECT :LEAF #<SB-C::LAMBDA-VAR :%SOURCE-NAME #:G4
> :TYPE #<SB-KERNEL:UNION-TYPE (OR # # #)> {12043B8493}> {1206329873}>)
> {1206329743}>)
>
>
> _______________________________________________
> 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