- Aug 19, 1998
-
-
dtc authored
without the long-float feature, and the numeric-contagion of a real with a long-float is a long-float with the long-float feature; from Raymond Toy.
-
- May 19, 1998
-
-
dtc authored
hairy subtype methods.
-
- May 13, 1998
-
-
dtc authored
some problems with the 'atom type which is defined as (not cons).
-
- Apr 17, 1998
-
-
dtc authored
which is a little better than Nil which is a subtype of everything.
-
- Feb 02, 1998
-
-
dtc authored
have make-numeric-type canonicalize the bounds so that a lower bound of (-0.0) becomes 0.0 and an upper bound of (0.0) becomes -0.0. Also fixes the problem of (subtypep '(float (-0.0)) (float 0.0)), returning nil when it should be T. This is because (float (-0.0)) is canonicalized to the identical (float 0.0).
-
- Jan 21, 1998
-
-
dtc authored
:negative-zero-is-not-zero feature; from Raymond Toy.
-
- Jan 08, 1998
-
-
dtc authored
zero-not-zero feature the sign of the float zeros should not matter; and with this feature -0.0 and 0.0 are adjacent.
-
- Jan 05, 1998
-
-
dtc authored
specifiers by Raymond Toy. With these changes -0.0 and 0.0 and considered separate on the float type intervals which is more natural for many arithmetic function derive type optimizers. These changes are dependent upon the :negative-zero-is-not-zero feature.
-
- Dec 18, 1997
-
-
dtc authored
type union and intersection which were all doing the opposition of what they should have. E.g. The intersection of (double-float 0d0) and (double-float (0d0)) was returning a bound of 0d0 whereas (0d0) is more restrictive.
-
- Sep 05, 1997
-
-
dtc authored
-
- Oct 31, 1994
-
-
ram authored
-
- Feb 11, 1994
-
-
cvs2git authored
-
- Sep 03, 1993
-
-
ram authored
-
- Sep 01, 1993
-
-
ram authored
-
- Aug 31, 1993
- Aug 25, 1993
-
-
ram authored
-
- Aug 23, 1993
-
-
ram authored
alien-types) that have superclasses. This was especially problematic with the Dylan collection heterarchy, but some problems could arise with e.g. (subtypep `(member ,#'cons) '(function (t t) cons)) (not technically legal in CL, but used by the compiler on legal programs.)
-
- Aug 21, 1993
-
-
ram authored
-
- Aug 06, 1993
-
-
ram authored
Block-compile type/= with type=.
-
- Jul 30, 1993
-
-
ram authored
-
- Mar 14, 1993
-
-
ram authored
CTYPE-OF use it.
-
- Mar 13, 1993
-
-
ram authored
-
- Mar 01, 1993
-
-
ram authored
-
- Feb 25, 1993
-
-
ram authored
a member type.
-
- Feb 23, 1993
-
-
ram authored
-
- Feb 14, 1993
-
-
ram authored
-
- Feb 10, 1993
-
-
ram authored
non-base strings in array unparsing. Delete base-char deftype now that it is a class
-
- Feb 08, 1993
-
-
ram authored
random things can be subtypes of T. Change TYPE-SPECIFIER to include CLASS. Fix some stuff to work.
-
- Feb 04, 1993
-
-
ram authored
-