[prev in list] [next in list] [prev in thread] [next in thread] 

List:       sbcl-devel
Subject:    Re: [Sbcl-devel] Erroneous type inference
From:       Stas Boukarev <stassats () gmail ! com>
Date:       2022-07-04 12:26:11
Message-ID: CAF63=10TGfeDnOjG1xRXTJvpkB-N3dBoC3zXDJoMW81sMibYxQ () mail ! gmail ! com
[Download RAW message or body]

Fixed. Thanks.

On Mon, Jul 4, 2022 at 10:16 AM Eric Marsden
<eric.marsden@risk-engineering.org> wrote:
>
> Hi,
>
>
> This is SBCL 2.2.6.27-f88989694, an implementation of ANSI Common Lisp.
> * (defun foo (a b)
>    (declare (optimize (debug 3)))
>    (boole boole-nand
>           (dpb (* b (unwind-protect 0 b)) (byte 31 28) a)
>           (ignore-errors
>             (truncate
>              (eval
>               (values 1 2))))))
> ; in: DEFUN FOO
> ;     (BOOLE BOOLE-NAND (DPB (* B (UNWIND-PROTECT 0 B)) (BYTE 31 28) A)
> ;            (IGNORE-ERRORS (TRUNCATE (EVAL (VALUES 1 2)))))
> ;
> ; caught STYLE-WARNING:
> ;   Derived type of SB-C::VAL is
> ;     (VALUES NULL &OPTIONAL),
> ;   conflicting with its asserted type
> ;     INTEGER.
> ;   See also:
> ;     The SBCL Manual, Node "Handling of Types"
> ;
> ; compilation unit finished
> ;   caught 1 STYLE-WARNING condition
> FOO
> * (foo 1 2)
> debugger invoked on a TYPE-ERROR @534CE9E0 in thread
> #<THREAD "main thread" RUNNING {1001690003}>:
>    The value
>      NIL
>    is not of type
>      INTEGER
>
>
>
>
> _______________________________________________
> Sbcl-devel mailing list
> Sbcl-devel@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/sbcl-devel


_______________________________________________
Sbcl-devel mailing list
Sbcl-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sbcl-devel
[prev in list] [next in list] [prev in thread] [next in thread]