Plaster
New
List
Login
common-lisp
default
anonymous
2022.12.22 23:47:07
CL-USER> (compile nil '(lambda (x) (check-type x string) (+ x 42))) ; in: LAMBDA (X) ; (+ X 42) ; ; note: deleting unreachable code ; ; caught WARNING: ; Derived type of COMMON-LISP-USER::X is ; (VALUES STRING &OPTIONAL), ; conflicting with its asserted type ; NUMBER. ; See also: ; The SBCL Manual, Node "Handling of Types" ; ; compilation unit finished ; caught 1 WARNING condition ; printed 1 note #<FUNCTION (LAMBDA (X)) {534DA58B}> T T
Raw
Annotate
Repaste
Edit