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)
on malformed property lists;
changes in sbcl-0.8.0 relative to sbcl-0.7.14
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.
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
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
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.
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)
* 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)
forward-referenced superclasses. (thanks to Gerd Moellmann)
* fixed evaluation order in optional entries. (reported by Gilbert
Baumann)
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.
* 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
* 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
if [ "$GNUMAKE" != "" ] ; then
# The user is evidently trying to tell us something.
gnumake="$GNUMAKE"
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
# "gmake" is the preferred name in *BSD.
gnumake=gmake
else
;;; 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.
;;; 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))
(declare (type function constructor))
(declare (type (vector ctype) types))
(declare (type ctype identity))
;; 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
;; 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.
;; before we know what 'LIST is. Once the COERCE
;; optimizer is less brain-dead, we can make this
;; (COERCE TYPES 'LIST) again.
:specifier `(and ,@(map 'list
#'type-specifier
simplified-types)))))
: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))
(defun type-union (&rest input-types)
(%type-union input-types))
(let ((simplified-types (simplified-compound-types input-types
#'union-type-p
#'type-union2)))
(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*)))
;;; versions, especially for internal versions off the main CVS
;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
;;; versions, especially for internal versions off the main CVS
;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
projects / sbcl.git / commitdiff