0.pre8.53:

	s/make-compound-type-or-something/make-probably-compound-type/
		(as per cliini and dan_b suggestion on #lisp IRC)
	merged David Lichteblau patch to make "which gmake" more robust
		in different sh's (sbcl-devel 2003-04-07)

diff --git a/NEWS b/NEWS
index 7f8f0d3..6fca07c 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1612,12 +1612,12 @@ changes in sbcl-0.7.14 relative to sbcl-0.7.13:
        on malformed property lists;
 
 changes in sbcl-0.8.0 relative to sbcl-0.7.14
-  * the old distinction between CL:CLASS objects and SB-PCL:CLASS
+  * The old distinction between CL:CLASS objects and SB-PCL:CLASS
     objects has been removed.  The return value from CL:FIND-CLASS is
     now a CLOS class, and likewise that of CL:CLASS-OF;
     CL:BUILT-IN-CLASS, CL:STRUCTURE-CLASS and CL:STANDARD-CLASS name
     CLOS classes.
-  * an interface to the MetaObject Protocol, as described in Kiczales,
+  * An interface to the MetaObject Protocol, as described in Kiczales,
     des Rivieres and Bobrow's "The Art of the Metaobject Protocol",
     MIT Press, 1991, is available from the SB-MOP package.
   * incompatible change: the SB-PCL package should now be considered a
@@ -1628,6 +1628,9 @@ changes in sbcl-0.8.0 relative to sbcl-0.7.14
     addresses instead of being hardcoded per-port.  Users affected by
     this probably have to be doing advanced things with shared
     libraries, and will know who they are.
+  * minor incompatible change: *STANDARD-INPUT* is now only an
+    INPUT-STREAM, not a BIDIRECTIONAL-STREAM. (thanks to Antonio 
+    Martinez)
   * known functions, which cannot be open coded by backend, are
     considered to be able to check types of their arguments.
     (reported by Nathan J. Froyd)
@@ -1636,11 +1639,13 @@ changes in sbcl-0.8.0 relative to sbcl-0.7.14
     forward-referenced superclasses.  (thanks to Gerd Moellmann)
   * fixed evaluation order in optional entries.  (reported by Gilbert
     Baumann)
-  * *STANDARD-INPUT* is now 
   * SB-MOP:ENSURE-CLASS-USING-CLASS now takes its arguments in the
     specified-by-AMOP order of (CLASS NAME &REST ARGS &KEY).
   * fixed bug 20: DEFMETHOD can define methods using names that are
     not the proper names of classes to designate class specializers.
+  * bug fix: INTERACTIVE-STREAM-P now works on streams associated with
+    Unix file descriptors, instead of blowing up. (thanks to Antonio
+    Martinez)
   * Experimental native threads support, on x86 Linux.  This is not 
     compiled in by default: you need to add :SB-THREAD to the target
     features.  See the "Beyond ANSI" chapter of the manual for 

diff --git a/make-target-1.sh b/make-target-1.sh
index 8d44f4b..a085104 100644 (file)
--- a/make-target-1.sh
+++ b/make-target-1.sh
@@ -20,7 +20,7 @@ echo //entering make-target-1.sh
 if [ "$GNUMAKE" != "" ] ; then
   # The user is evidently trying to tell us something.
   gnumake="$GNUMAKE"
-elif [ -x `which gmake` ] ; then
+elif [ -x "`which gmake`" ] ; then
   # "gmake" is the preferred name in *BSD.
   gnumake=gmake
 else

diff --git a/src/code/late-type.lisp b/src/code/late-type.lisp
index b1df87b..61f6982 100644 (file)
--- a/src/code/late-type.lisp
+++ b/src/code/late-type.lisp
@@ -887,7 +887,7 @@
 ;;; shared logic for unions and intersections: Make a COMPOUND-TYPE
 ;;; object whose components are the types in TYPES, or skip to special
 ;;; cases when TYPES is short.
-(defun make-compound-type-or-something (constructor types enumerable identity)
+(defun make-probably-compound-type (constructor types enumerable identity)
   (declare (type function constructor))
   (declare (type (vector ctype) types))
   (declare (type ctype identity))
@@ -901,7 +901,7 @@
                ;; brain-dead, so that would generate a full call to
                ;; SPECIFIER-TYPE at runtime, so we get into bootstrap
                ;; problems in cold init because 'LIST is a compound
-               ;; type, so we need to MAKE-COMPOUND-TYPE-OR-SOMETHING
+               ;; type, so we need to MAKE-PROBABLY-COMPOUND-TYPE
                ;; before we know what 'LIST is. Once the COERCE
                ;; optimizer is less brain-dead, we can make this
                ;; (COERCE TYPES 'LIST) again.
@@ -949,11 +949,11 @@
               :specifier `(and ,@(map 'list
                                       #'type-specifier
                                       simplified-types)))))
-       (make-compound-type-or-something #'%make-intersection-type
-                                        simplified-types
-                                        (some #'type-enumerable
-                                              simplified-types)
-                                        *universal-type*))))
+       (make-probably-compound-type #'%make-intersection-type
+                                    simplified-types
+                                    (some #'type-enumerable
+                                          simplified-types)
+                                    *universal-type*))))
 
 (defun type-union (&rest input-types)
   (%type-union input-types))
@@ -964,10 +964,10 @@
   (let ((simplified-types (simplified-compound-types input-types
                                                     #'union-type-p
                                                     #'type-union2)))
-    (make-compound-type-or-something #'make-union-type
-                                    simplified-types
-                                    (every #'type-enumerable simplified-types)
-                                    *empty-type*)))
+    (make-probably-compound-type #'make-union-type
+                                simplified-types
+                                (every #'type-enumerable simplified-types)
+                                *empty-type*)))
 \f
 ;;;; built-in types
 

diff --git a/version.lisp-expr b/version.lisp-expr
index c89f1db..8ebadb7 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.pre8.52"
+"0.pre8.53"