#275 VALUES type specifier isn't handled correctly when checking types

Unstable_git-CVS
closed
nobody
None
1
2014-09-23
2013-11-19
stassats
No
(compile nil
         `(lambda (x) (1+ (the (values integer string) (funcall x)))))

;;; Style warning:
;;;   ! The argument 1 of function 1+ has type
;;; STRING
;;; instead of expected
;;; NUMBER

Discussion

  • P.Marek
    P.Marek
    2014-03-02

    thanks, 3f0ce7f7d40a2d2a8eed77e9fc5b588922c335b5

     


Anonymous


Cancel   Add attachments