0.9.16.30:
authorChristophe Rhodes <csr21@cam.ac.uk>
Thu, 14 Sep 2006 21:10:44 +0000 (21:10 +0000)
committerChristophe Rhodes <csr21@cam.ac.uk>
Thu, 14 Sep 2006 21:10:44 +0000 (21:10 +0000)
commitd1e7b48b17180a417c41ed55eb382ebf6d4e7a2a
treecd893ec3773590bd956f19758b06c374431fc67e
parentb3907e261afc6af9954b8232b662e04f519f8158
0.9.16.30:
A couple of type-system fixups for #+sb-eval
... we have to have sb-eval:interpreted-function defined
on the host, so that the deftype for COMPILED-FUNCTION
does not involve any unknown types.  So
... make !defstruct-with-alternate-metaclass compilable by the
host compiler, similarly to sb-xc:defstruct.  Don't
quite do it properly: put a FIXME note in for posterity.
... move early-full-eval.lisp earlier in the build, and split
out the definition for compiled-function from
deftypes-for-target to late-deftypes-for-target (after
the interpreted-function class is defined)

... (declare (type compiled-function x)) should do a type check
for compiled-function, not for simply FUNCTION.
... the problem was actually in PRIMITIVE-TYPE on intersection
types; the computation was fairly bogus.  Make it less
bogus.

... also delete some stale classoid symbols.
build-order.lisp-expr
package-data-list.lisp-expr
src/code/class.lisp
src/code/defstruct.lisp
src/code/deftypes-for-target.lisp
src/code/early-full-eval.lisp
src/code/late-deftypes-for-target.lisp [new file with mode: 0644]
src/compiler/generic/primtype.lisp
tests/type.impure.lisp
version.lisp-expr