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

List:       sbcl-devel
Subject:    Re: [Sbcl-devel] Incorrect type checks on ARM64 "when binding SB-C::ITEM"
From:       Stas Boukarev <stassats () gmail ! com>
Date:       2017-06-29 17:57:19
Message-ID: CAF63=11HLCDctvYYGjFJ_gTR9dUkqYox2vWLQMr1-dsS487NnA () mail ! gmail ! com
[Download RAW message or body]

Fixed in 0c03f4db02a6879229fe6857bb375a20f3b77b8c, thanks.

On Thu, Jun 29, 2017 at 7:16 PM, Eric Marsden <eric.marsden@free.fr> wrote:
> Hi,
>
> This is on Linux/ARM64.
>
>
> * (lisp-implementation-version)
> "1.3.19.5-ab8617ddb-dirty"
> * (defun foo (p1 p2)
>     (declare (type (member 1/2 66666) p1)
>              (type (array (unsigned-byte 31) (1)) p2))
>     (fill p2 p1))
> FOO
> * (foo 66666 (coerce #(1) '(array (unsigned-byte 31) (1))))
>
> debugger invoked on a TYPE-ERROR in thread
> #<THREAD "main thread" RUNNING {1002BC0003}>:
>   The value
>     66666
>   is not of type
>     (UNSIGNED-BYTE 31)
>   when binding SB-C::ITEM
>
>
> --
> Eric Marsden
> https://risk-engineering.org/
>
>
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> _______________________________________________
> Sbcl-devel mailing list
> Sbcl-devel@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/sbcl-devel



-- 
With best regards, Stas.

------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
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]