Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

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)
added tests/type.after-xc.lisp
added tests/type.before-xc.lisp
changed BUGS
changed NEWS
changed make-host-1.sh
changed make-host-2.sh
changed make.sh
changed package-data-list.lisp-expr
changed src
changed src/code
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
changed src/code/late-type.lisp
changed src/code/list.lisp
changed src/code/parse-defmacro.lisp
changed src/code/reader.lisp
changed src/code/readtable.lisp
changed src/code/run-program.lisp
changed src/code/save.lisp
changed src/code/seq.lisp
changed src/code/show.lisp
changed src/code/target-defstruct.lisp
changed src/code/target-load.lisp
changed src/code/target-package.lisp
changed src/code/target-type.lisp
changed src/code/type-class.lisp
changed src/code/type-init.lisp
changed src/code/typedefs.lisp
changed src/code/typep.lisp
changed src/code/x86-vm.lisp
changed src/cold
changed src/cold/shared.lisp
changed src/compiler
changed src/compiler/backend.lisp
changed src/compiler/byte-comp.lisp
changed src/compiler/compiler-deftype.lisp
changed src/compiler/constraint.lisp
changed src/compiler/ctype.lisp
changed src/compiler/debug-dump.lisp
changed src/compiler/disassem.lisp
changed src/compiler/eval-comp.lisp
changed src/compiler/fndb.lisp
changed src/compiler/generic
changed src/compiler/generic/genesis.lisp
changed src/compiler/generic/interr.lisp
changed src/compiler/generic/primtype.lisp
changed src/compiler/generic/vm-type.lisp
changed src/compiler/globaldb.lisp
changed src/compiler/ir1opt.lisp
changed src/compiler/ir1tran.lisp
changed src/compiler/ir1util.lisp
changed src/compiler/knownfun.lisp
changed src/compiler/locall.lisp
changed src/compiler/macros.lisp
changed src/compiler/meta-vmdef.lisp
changed src/compiler/node.lisp
changed src/compiler/parse-lambda-list.lisp
changed src/compiler/sset.lisp
changed src/compiler/target-disassem.lisp
changed src/compiler/x86
changed src/compiler/x86/call.lisp
changed src/pcl
changed src/pcl/boot.lisp
changed src/pcl/generic-functions.lisp
changed stems-and-flags.lisp-expr
changed tests
changed tests/run-tests.sh
changed tests/type.impure.lisp
changed version.lisp-expr
tests/type.after-xc.lisp Diff Switch to side-by-side view
Loading...
tests/type.before-xc.lisp Diff Switch to side-by-side view
Loading...
BUGS Diff Switch to side-by-side view
Loading...
NEWS Diff Switch to side-by-side view
Loading...
make-host-1.sh Diff Switch to side-by-side view
Loading...
make-host-2.sh Diff Switch to side-by-side view
Loading...
make.sh Diff Switch to side-by-side view
Loading...
package-data-list.lisp-expr Diff Switch to side-by-side view
Loading...
src
Directory.
src/code
Directory.
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...
src/code/late-type.lisp Diff Switch to side-by-side view
Loading...
src/code/list.lisp Diff Switch to side-by-side view
Loading...
src/code/parse-defmacro.lisp Diff Switch to side-by-side view
Loading...
src/code/reader.lisp Diff Switch to side-by-side view
Loading...
src/code/readtable.lisp Diff Switch to side-by-side view
Loading...
src/code/run-program.lisp Diff Switch to side-by-side view
Loading...
src/code/save.lisp Diff Switch to side-by-side view
Loading...
src/code/seq.lisp Diff Switch to side-by-side view
Loading...
src/code/show.lisp Diff Switch to side-by-side view
Loading...
src/code/target-defstruct.lisp Diff Switch to side-by-side view
Loading...
src/code/target-load.lisp Diff Switch to side-by-side view
Loading...
src/code/target-package.lisp Diff Switch to side-by-side view
Loading...
src/code/target-type.lisp Diff Switch to side-by-side view
Loading...
src/code/type-class.lisp Diff Switch to side-by-side view
Loading...
src/code/type-init.lisp Diff Switch to side-by-side view
Loading...
src/code/typedefs.lisp Diff Switch to side-by-side view
Loading...
src/code/typep.lisp Diff Switch to side-by-side view
Loading...
src/code/x86-vm.lisp Diff Switch to side-by-side view
Loading...
src/cold
Directory.
src/cold/shared.lisp Diff Switch to side-by-side view
Loading...
src/compiler
Directory.
src/compiler/backend.lisp Diff Switch to side-by-side view
Loading...
src/compiler/byte-comp.lisp Diff Switch to side-by-side view
Loading...
src/compiler/compiler-deftype.lisp Diff Switch to side-by-side view
Loading...
src/compiler/constraint.lisp Diff Switch to side-by-side view
Loading...
src/compiler/ctype.lisp Diff Switch to side-by-side view
Loading...
src/compiler/debug-dump.lisp Diff Switch to side-by-side view
Loading...
src/compiler/disassem.lisp Diff Switch to side-by-side view
Loading...
src/compiler/eval-comp.lisp Diff Switch to side-by-side view
Loading...
src/compiler/fndb.lisp Diff Switch to side-by-side view
Loading...
src/compiler/generic/genesis.lisp Diff Switch to side-by-side view
Loading...
src/compiler/generic/interr.lisp Diff Switch to side-by-side view
Loading...
src/compiler/generic/primtype.lisp Diff Switch to side-by-side view
Loading...
src/compiler/generic/vm-type.lisp Diff Switch to side-by-side view
Loading...
src/compiler/globaldb.lisp Diff Switch to side-by-side view
Loading...
src/compiler/ir1opt.lisp Diff Switch to side-by-side view
Loading...
src/compiler/ir1tran.lisp Diff Switch to side-by-side view
Loading...
src/compiler/ir1util.lisp Diff Switch to side-by-side view
Loading...
src/compiler/knownfun.lisp Diff Switch to side-by-side view
Loading...
src/compiler/locall.lisp Diff Switch to side-by-side view
Loading...
src/compiler/macros.lisp Diff Switch to side-by-side view
Loading...
src/compiler/meta-vmdef.lisp Diff Switch to side-by-side view
Loading...
src/compiler/node.lisp Diff Switch to side-by-side view
Loading...
src/compiler/parse-lambda-list.lisp Diff Switch to side-by-side view
Loading...
src/compiler/sset.lisp Diff Switch to side-by-side view
Loading...
src/compiler/target-disassem.lisp Diff Switch to side-by-side view
Loading...
src/compiler/x86
Directory.
src/compiler/x86/call.lisp Diff Switch to side-by-side view
Loading...
src/pcl
Directory.
src/pcl/boot.lisp Diff Switch to side-by-side view
Loading...
src/pcl/generic-functions.lisp Diff Switch to side-by-side view
Loading...
stems-and-flags.lisp-expr Diff Switch to side-by-side view
Loading...
tests
Directory.
tests/run-tests.sh Diff Switch to side-by-side view
Loading...
tests/type.impure.lisp Diff Switch to side-by-side view
Loading...
version.lisp-expr Diff Switch to side-by-side view
Loading...
1 2 3 4 > >> (Page 1 of 4)