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);
(reported by Markus Krummenacker)
* bug fix: FORMATTER can successfully compile pretty-printer format
strings which use variants of the ~* directive inside.
+ * bug fix: SEARCH now applies its TEST predicate to the elements of
+ 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
otherwise, it creates a new class.
** SLOT-UNBOUND now correctly initalizes the CELL-ERROR-NAME slot
of the UNBOUND-SLOT condition to the name of the slot.
+ ** (SETF (AREF bv 0) ...) did not work for bit vectors.
+ ** SLOT-UNBOUND and SLOT-MISSING now have their return values
+ treated by SLOT-BOUNDP, SLOT-VALUE, (SETF SLOT-VALUE) and
+ SLOT-MAKUNBOUND in the specified fashion.
planned incompatible changes in 0.8.x:
* (not done yet, but planned:) When the profiling interface settles
projects / sbcl.git / blobdiff