Skip to content
Snippets Groups Projects
Commit d6c3f7b4 authored by ram's avatar ram
Browse files

Changed VALID-FUNCTION-USE to complain more intelligibly about args

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.
parent ec3d0fde
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment