1.0.43.57: better handling of derived function types

[sbcl.git] / NEWS

diff --git a/NEWS b/NEWS
index 4215598..c155052 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -11,6 +11,9 @@ changes relative to sbcl-1.0.43:
   * enhancement: ATOMIC-INCF now supports AREF of (SIMPLE-ARRAY SB-EXT:WORD (*))
     as a place.
   * enhancement: ASDF has been updated to 2.009.
+  * enhancement: the system detects known type-erros in calls better,
+    signalling a full warning about violated proclaimed FTYPEs and violations
+    of derived FTYPEs within the same file, including self-calls.
   * optimization: constant-folding exploits numeric and character types, in
     addition member types.
   * optimization: numeric, character and member types that are inhabited by
@@ -59,6 +62,9 @@ changes relative to sbcl-1.0.43:
   * bug fix: incorrect FILE-POSITION on streams opened using :EXTERNAL-FORMAT
     :DEFAULT when the default external had character size other than 8 bits.
     (lp#657183)
+  * bug fix: derived types of functions in the same file were implicitly
+    trusted, leading to potential heap corruption when those function were
+    defined incompatibly. (lp#657499)
 
 changes in sbcl-1.0.43 relative to sbcl-1.0.42:
   * incompatible change: FD-STREAMS no longer participate in the serve-event