Forked from
cmucl / cmucl
Source project has a limited visibility.
-
ram authored
Fixed some comments that I neglected to update with the last round of changes. Changed FIND-OPTIONAL-DISPATCH-TYPES to only union in NULL for hairy default keywords, since this is the initial value type passed in for these keywords when they are unsupplied. This allows some of the type checking to be pushed into the XEP or local caller for these args. Also, fixed handling of &rest args not to give spurious warnings about definitions that have both &rest and &key. And fixed FIND-LAMBDA-TYPES to do type intersections only when there is no syntax lossage, rather than only doing it when there is a change in the number of args.
ram authoredFixed some comments that I neglected to update with the last round of changes. Changed FIND-OPTIONAL-DISPATCH-TYPES to only union in NULL for hairy default keywords, since this is the initial value type passed in for these keywords when they are unsupplied. This allows some of the type checking to be pushed into the XEP or local caller for these args. Also, fixed handling of &rest args not to give spurious warnings about definitions that have both &rest and &key. And fixed FIND-LAMBDA-TYPES to do type intersections only when there is no syntax lossage, rather than only doing it when there is a change in the number of args.