Commit [ce02ab] Maximize Restore History

0.6.11.13:

converted SIMPLE-/COMPLEX- -INTERSECTION to -INTERSECTION2
reviewed old SIMPLE-/COMPLEX- -INTERSECTION methods to make
them OK in the new world
made TYPE-INTERSECTION2 and TYPE-APPROX-INTERSECTION2 for
some things which used to call TYPE-INTERSECTION
made new with-&REST-list TYPE-INTERSECTION to replace
MAKE-INTERSECTION-TYPE-OR-SOMETHING
HIERARCHICAL-INTERSECTION is more descriptive than
VANILLA-INTERSECTION.
deleted unused SIMPLIFY2 stuff
deleted unused TYPE-INTERSECT and VALUES-TYPE-ALLOWP
Pure BOOLEAN TYPE-ENUMERABLE is too much trouble; relax to
generalized boolean instead.
tweaked DEFUN-CACHED so that it will work early in cold init
(if some clueless bozo happens to mess up types so
badly that it gets called early in cold init:-)
Now the AND type translator can just use TYPE-INTERSECTION.
added *SOFT-HEAP-LIMIT*
removed some unused symbols in SB!UNIX
tweaked /SHOW0 to automatically stringify and concatenate its
arguments, to abbreviate an idiom that I use a lot
wrote /HEXSTR0 to abbreviate another idiom
defined /PRIMITIVE-PRINT to abbreviate another idiom
DO-LOAD-TIME-CODE-FIXUP and DO-LOAD-TIME-VALUE-FIXUP are
only needed at cold init.
added tests/type.after-xc.lisp and tests/type.before-xc.lisp
upgraded SB-XC:TYPEP to handle (TYPEP #(1 2 3) 'VECTOR) etc.
Intersection with *EMPTY-TYPE* and *UNIVERSAL-TYPE* should
behave (and be commutative).
Guard against some type method operations on *. (easier than
worrying about them, or trying to make them right..)
moved STYLE-WARN and friends to SB-INT to eliminate thought
about whether they're visible e.g. in ir1tran.lisp
tripped over bug 84
made SB!C-CALL use SB!INT and SB!EXT so I can use /SHOW0 et al.
DEF-PRIMITIVE-TYPE stuff can become !DEF-PRIMITIVE-TYPE.
DEF-BOUNDED-TYPE and DEFINE-FLOAT-FORMAT can become
!DEF-BOUNDED-TYPE and !DEFINE-FLOAT-FORMAT.
moved DEFTYPE FLOAT-FORMAT earlier so that it's visible in
early-type.lisp (for NUMERIC-TYPE FORMAT slot :TYPE)
moved LIST, CONS, and NULL classes earlier in *BUILT-IN-CLASSES*
to try to help with RATIO cold init problem
removed pre-ANSI keyword-only stuff in ARG-INFO-KEYWORD and
in various &KEY-related error messages and symbol names
bug 12 fixed: (SUBTYPEP 'KEYWORD 'SYMBOL)=>T,T
added INTERSECTION-TYPE support to CTYPEP

William Harold Newman William Harold Newman 2001-03-12

1 2 3 4 > >> (Page 1 of 4)
changed src/code/alien-type.lisp
changed src/code/boot-extensions.lisp
changed src/code/byte-interp.lisp
changed src/code/byte-types.lisp
changed src/code/class.lisp
changed src/code/cold-error.lisp
changed src/code/cold-init.lisp
changed src/code/cross-type.lisp
changed src/code/debug-info.lisp
changed src/code/debug-int.lisp
changed src/code/defmacro.lisp
changed src/code/defstruct.lisp
changed src/code/deftypes-for-target.lisp
changed src/code/early-extensions.lisp
changed src/code/early-type.lisp
changed src/code/filesys.lisp
changed src/code/float-trap.lisp
changed src/code/format-time.lisp
changed src/code/gc.lisp
changed src/code/host-alieneval.lisp
changed src/code/host-c-call.lisp
changed src/code/interr.lisp
changed src/code/irrat.lisp
changed src/code/late-extensions.lisp
changed src/code/late-target-error.lisp
src/code/alien-type.lisp Diff Switch to side-by-side view
Loading...
src/code/boot-extensions.lisp Diff Switch to side-by-side view
Loading...
src/code/byte-interp.lisp Diff Switch to side-by-side view
Loading...
src/code/byte-types.lisp Diff Switch to side-by-side view
Loading...
src/code/class.lisp Diff Switch to side-by-side view
Loading...
src/code/cold-error.lisp Diff Switch to side-by-side view
Loading...
src/code/cold-init.lisp Diff Switch to side-by-side view
Loading...
src/code/cross-type.lisp Diff Switch to side-by-side view
Loading...
src/code/debug-info.lisp Diff Switch to side-by-side view
Loading...
src/code/debug-int.lisp Diff Switch to side-by-side view
Loading...
src/code/defmacro.lisp Diff Switch to side-by-side view
Loading...
src/code/defstruct.lisp Diff Switch to side-by-side view
Loading...
src/code/deftypes-for-target.lisp Diff Switch to side-by-side view
Loading...
src/code/early-extensions.lisp Diff Switch to side-by-side view
Loading...
src/code/early-type.lisp Diff Switch to side-by-side view
Loading...
src/code/filesys.lisp Diff Switch to side-by-side view
Loading...
src/code/float-trap.lisp Diff Switch to side-by-side view
Loading...
src/code/format-time.lisp Diff Switch to side-by-side view
Loading...
src/code/gc.lisp Diff Switch to side-by-side view
Loading...
src/code/host-alieneval.lisp Diff Switch to side-by-side view
Loading...
src/code/host-c-call.lisp Diff Switch to side-by-side view
Loading...
src/code/interr.lisp Diff Switch to side-by-side view
Loading...
src/code/irrat.lisp Diff Switch to side-by-side view
Loading...
src/code/late-extensions.lisp Diff Switch to side-by-side view
Loading...
src/code/late-target-error.lisp Diff Switch to side-by-side view
Loading...
1 2 3 4 > >> (Page 1 of 4)