0.8.0.78.vector-nil-string.7:
authorChristophe Rhodes <csr21@cam.ac.uk>
Tue, 24 Jun 2003 10:56:11 +0000 (10:56 +0000)
committerChristophe Rhodes <csr21@cam.ac.uk>
Tue, 24 Jun 2003 10:56:11 +0000 (10:56 +0000)
commit9767de1cecfe50560fe1da69fd458b6148a66da3
tree34198285a3d66069078f69a95257d900fdc2752c
parent64a7331285b0eab2c216f52670763c7d192cfdaa
0.8.0.78.vector-nil-string.7:
The beginnings of the payoff: being sufficiently irritated by
the baroque intertwinings of the different places where array
types have to be specified, here is a beginning of a
rationalization.
... make *SPECIALIZED-ARRAY-ELEMENT-TYPE-PROPERTIES* a master
value, and derive three other compiler-internal lists
from it.  (net win so far: 3)
... but because it's made earlier so that we can use it as a
master value, SPECIFIER-TYPE gives unknown types;
a new file (and corresponding cold-init function)
fixes up unknown types (and for primitive-types too)
... there are still plenty of places left where array logic
isn't derived from *SAETP*; they will be worked on.
13 files changed:
build-order.lisp-expr
package-data-list.lisp-expr
src/code/array.lisp
src/code/cold-init.lisp
src/code/deftypes-for-target.lisp
src/code/early-extensions.lisp
src/compiler/array-tran.lisp
src/compiler/fixup-type.lisp [new file with mode: 0644]
src/compiler/generic/primtype.lisp
src/compiler/generic/vm-array.lisp [new file with mode: 0644]
src/compiler/generic/vm-type.lisp
src/compiler/vmdef.lisp
version.lisp-expr