- May 08, 1991
-
-
ram authored
with a fixed arg function.
-
- Mar 24, 1991
-
-
ram authored
-
- Feb 20, 1991
-
-
ram authored
-
- Jan 02, 1991
-
-
ram authored
is unsafe before punting. Fixed ASSERT-DEFINITION-TYPE to propagate the new type information to any refs, and also to not set the type when the argument has sets.
-
- Nov 20, 1990
-
-
ram authored
FIND-OPTIONAL-DISPATCH-TYPES, and removed an unnecessary conditional.
-
- Oct 24, 1990
-
-
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.
-
- Oct 20, 1990
-
-
ram authored
-
- Oct 17, 1990
-
-
ram authored
of type NIL, and downgraded the message from lossage to slime. Spiffed up ASSERT-DEFINITION-TYPE in various ways. It now takes various arguments which provide additional control. In particular, the REALLY-ASSERT argument allows this function to be used to give function redefinition notes without applying bogus type assertions. Also, fixed optional and keyword handling to take into account the possibility that the default might legally not be of the type in the function type. If the default is constant, we union its type in, otherwise we write off type assertion for that argument. Fixed the result type intersection stuff not to gag on NIL assertions. Also, tweaked the formatting a bit to reduce wrapped lines, etc.
-
- Oct 15, 1990
-
-
wlott authored
the definition and not in the type. (This case only happens if there is an &key in the type, since otherwise we punt before them.)
-
- Oct 11, 1990
-
-
ram authored
to a DEFUN.
-
- Oct 05, 1990
- May 30, 1990
-
-
cvs2git authored
-
- May 21, 1990
-
-
ram authored
NIL. Also, improved the function description to make the return values clearer.
-
- May 12, 1990
-
-
ram authored
subtypep's benefit.
-
- Mar 28, 1990
- Mar 27, 1990
-
-
ram authored
types. Made VALID-FUNCTION-USE note lossage when there is an argument whose type is NIL (a manifest type error) instead of considering it to match anything. Made people recognize the new FUNCTION-TYPE-WILD-ARGS flag. Randomly broke some lines that wrapped.
-
- Mar 05, 1990
-
-
cvs2git authored
-
- Feb 06, 1990
-
-
wlott authored
-