[Ecls-list] deftype propagation in the ECL compiler

Gabriel Dos Reis gdr at cs.tamu.edu
Sun Nov 2 15:42:22 UTC 2008

"Juan Jose Garcia-Ripoll" <juanjose.garciaripoll at googlemail.com> writes:

| On Sun, Nov 2, 2008 at 2:28 PM, Gabriel Dos Reis <gdr at cs.tamu.edu> wrote:
| > Hmm, my understanding of DEFTYPE was that, even though the newly
| > introduced type specifier, the recursion expansion must terminate.
| > Therefore, it would be OK to use a lattice system, since a DEFTYPE
| > could not introduce an infinitely branching type.
| > Is that not the case?
| Maybe you are right. I probably did not read that carefully enough,
| but the point is that CONS types are inherently recursive, and
| therefore it is not possible to use the scheme we use now in ECL for
| the rest of the types.

OK; I understand.  Thanks!  Is the change available from the anonymous

-- Gaby

More information about the ecl-devel mailing list