| commit | 6938432f778b55485b2e60753262b9e03dd23d40 | |
| author | Stas Boukarev <stassats@gmail.com> | |
| Tue, 2 Feb 2016 17:07:06 +0000 (2 20:07 +0300) | ||
| committer | Stas Boukarev <stassats@gmail.com> | |
| Tue, 2 Feb 2016 17:07:06 +0000 (2 20:07 +0300) | ||
| tree | 236ed6e2a466c769e7961209b099643bbeaccc0b | treesnapshot (tar.gz zip) |
| parent | 1d97c75473ebef83fa96ee154445a7414cc8f92d | commitdiff |
Check argument mismatch for function arguments to callable parameters.
(find-if #'eql x) is now able to deduce that EQL is going to be called
with one argument and warn.
This introduces a pseudo-type-specifier for DEFKNOWN,
(callable arg-count), which is then used to build a function with the
same lambda-list as the type-specifier and which checks the LVARs
passed from VALID-FUN-USE.
(find-if #'eql x) is now able to deduce that EQL is going to be called
with one argument and warn.
This introduces a pseudo-type-specifier for DEFKNOWN,
(callable arg-count), which is then used to build a function with the
same lambda-list as the type-specifier and which checks the LVARs
passed from VALID-FUN-USE.