From fbbf545a493def7c3732949c4f7e217996aaf018 Mon Sep 17 00:00:00 2001 From: William Harold Newman Date: Wed, 9 Apr 2003 22:33:23 +0000 Subject: [PATCH] 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) --- NEWS | 11 ++++++++--- make-target-1.sh | 2 +- src/code/late-type.lisp | 22 +++++++++++----------- version.lisp-expr | 2 +- 4 files changed, 21 insertions(+), 16 deletions(-) diff --git a/NEWS b/NEWS index 7f8f0d3..6fca07c 100644 --- 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 --- 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 --- 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*))) ;;;; built-in types diff --git a/version.lisp-expr b/version.lisp-expr index c89f1db..8ebadb7 100644 --- 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" -- 1.7.10.4