| commit | 22618c314fb8db4383fbce564c708c71dffdd91b | |
| author | Stas Boukarev <stassats@gmail.com> | |
| Tue, 3 Oct 2017 12:18:15 +0000 (3 15:18 +0300) | ||
| committer | Stas Boukarev <stassats@gmail.com> | |
| Tue, 3 Oct 2017 15:00:42 +0000 (3 18:00 +0300) | ||
| tree | 3a9c998970a5dce1141d567fe9c0bccba69c417f | treesnapshot (tar.gz zip) |
| parent | 10930adeb9f52319fb62b80b699a4f6652aa0869 | commitdiff |
Check declared types of functions at compile-time.
(the (function (string) (values boolean &optional)) #'evenp)
warning:
Derived type of EVENP is
(FUNCTION (INTEGER) (VALUES BOOLEAN &OPTIONAL)),
conflicting with the declared type
(FUNCTION (STRING) (VALUES BOOLEAN &OPTIONAL)).
(the (function (string) (values boolean &optional)) #'evenp)
warning:
Derived type of EVENP is
(FUNCTION (INTEGER) (VALUES BOOLEAN &OPTIONAL)),
conflicting with the declared type
(FUNCTION (STRING) (VALUES BOOLEAN &OPTIONAL)).
| src/compiler/checkgen.lisp | diffblobblamehistory | |
| src/compiler/ctype.lisp | diffblobblamehistory | |
| src/compiler/ir2tran.lisp | diffblobblamehistory | |
| src/compiler/x86-64/target-insts.lisp | diffblobblamehistory |