[Ecls-list] deftype propagation in the ECL compiler

[Gabriel Dos Reis]

Hi Juanjo,

  I finally got around to produce a small enough testcase
for the deftype propagation problem I mentioned in another
thread a couple of weeks ago.

  Attached are two Lisp source files (machine generated from
Boot, the home-grown language we use to write the OpenAxiom
compiler).  The ECL compiler complains with

;;; The built-in class (#<The BUILT-IN-CLASS T>) cannot be instantiated

when compiling the function applyMapping.

To reproduce the problem, at ECL toplevel, do:

    (compile-file "types.clisp")
    (load "types")
    (compile-file "compiler.clisp")


Note that If I replace

  (DEFTYPE |%Triple| () '(CONS |%Code| (CONS |%Mode| (CONS |%Env| NULL))))

with

  (DEFTYPE |%Triple| () 'LIST)

then everything is OK -- but it is less precise.

-- Gaby

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: types.clisp
URL: <https://mailman.common-lisp.net/pipermail/ecl-devel/attachments/20081101/d5f9690d/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: compiler.clisp
URL: <https://mailman.common-lisp.net/pipermail/ecl-devel/attachments/20081101/d5f9690d/attachment-0001.ksh>