search

rpav / cl-autowrap

(c-include "file.h") => complete FFI wrapper
BSD 2-Clause "Simplified" License
212 stars 41 forks source link

SBCL warns and ASDF signals error due to more rigorous type checking #106

Closed metayan closed 4 years ago

metayan commented 4 years ago

Build fails on SBCL 2.0.7.155 because of this:

19.288841 0.000021 ; file: /src/scm/lisp/cl-autowrap/autowrap/sffi.lisp
19.288877 0.000016 ; in: DEFCLASS FOREIGN-TYPE
19.288932 0.000013 ;     (TYPE :INITARG :TYPE :INITFORM NIL :ACCESSOR AUTOWRAP:FOREIGN-TYPE :TYPE
19.288963 0.000032 ;      (NOT NULL))
19.288991 0.000033 ; ==>
19.289018 0.000038 ;   (SB-KERNEL:THE* ((NOT NULL) :SOURCE-FORM NIL :USE-ANNOTATIONS T) NIL)
19.289066 0.000016 ; 
19.289131 0.000014 ; caught WARNING:
19.289152 0.000013 ;   Constant NIL conflicts with its asserted type (NOT NULL).
19.289169 0.000013 ;   See also:
19.289186 0.000082 ;     The SBCL Manual, Node "Handling of Types"
19.289329 0.000225

(Note: SBCL 2.0.7.150 didn't complain, so change was in recent commits.) Mentioned in #sbcl at 20200826-140718.