0.7.8.56:

        * there is no type SAP
        * new bug: incorrect union of function types

diff --git a/BUGS b/BUGS
index 385b8a1..0df09bc 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -1354,6 +1354,15 @@ WORKAROUND:
   the bad VECTOR-PUSH-EXTEND frame causes GC problems, though that may
   not be the actual problem. (CMU CL 18c doesn't have problems with this.)
 
+217:
+  In sbcl.0.7.7:
+
+    * (values-type-union (specifier-type '(function (base-char)))
+                         (specifier-type '(function (integer))))
+
+    #<FUN-TYPE (FUNCTION (BASE-CHAR) *)>
+
+
 DEFUNCT CATEGORIES OF BUGS
   IR1-#:
     These labels were used for bugs related to the old IR1 interpreter.

diff --git a/src/code/bit-bash.lisp b/src/code/bit-bash.lisp
index 47a86fc..9312406 100644 (file)
--- a/src/code/bit-bash.lisp
+++ b/src/code/bit-bash.lisp
@@ -504,7 +504,7 @@
   ;; package CL, and shadowing it would be too ugly; so maybe SB!VM:VMBYTE?
   ;; (And then N-BYTE-BITS would be N-VMBYTE-BITS and so forth?)
   (declare (type (simple-array (unsigned-byte 8) 1) bv))
-  (declare (type sap sap))
+  (declare (type system-area-pointer sap))
   (declare (type fixnum offset))
   ;; FIXME: Actually it looks as though this, and most other calls to
   ;; COPY-TO-SYSTEM-AREA, could be written more concisely with

diff --git a/version.lisp-expr b/version.lisp-expr
index b371d8e..359a8d9 100644 (file)
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -18,4 +18,4 @@
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
 
-"0.7.8.55"
+"0.7.8.56"