functions defined in the same file. This also permits the system
to warn on static type mismatches and function
redefinition. (Currently it does not work with high DEBUG level.)
+ * when issuing notes, the compiler now signals a condition of type
+ SB-EXT:COMPILER-NOTE, and provides an associated MUFFLE-WARNING
+ restart for use in user handlers. It is expected that the
+ COMPILER-NOTE condition will eventually become a condition
+ supertype to a hierarchy of note types, which will then be
+ handleable in a similar fashion; other than
+ SB-INT:SIMPLE-COMPILER-NOTE, an implementation detail, no such
+ note subtypes yet exist.
* changes in type checking closed the following bugs:
** type checking of unused values (192b, 194d, 203);
** template selection based on unsafe type assertions (192c, 236);
the arguments in the correct order. (thanks to Wolfhard Buss)
* fixed bug 235b: compiler uses return types of MAPCAR and friends
in type inference. (thanks to Robert E. Brown)
+ * bug fix: reading in symbols with an explicit package name of ""
+ (e.g. '||::FOO) now works corectly. (reported by Henrik Motakef)
* fixed some bugs revealed by Paul Dietz' test suite:
** NIL is now allowed as a structure slot name.
** arbitrary numbers, not just reals, are allowed in certain