Subject: Re: type/representation nameclash
From: Vassily Litvinov (vass@cs.washington.edu)
Date: Wed Feb 23 2000 - 12:38:13 PST
Andy,
This is a bug in the typechecker - it implicitly adds a type for each
representation (with the same name). As a workaround, you could either
declare type and representation in a single "object" declaration, or leave
out the "subtypes" clause of your representation declaration (since it's
added automatically). Sorry for this problem.
(Also, keep in mind that the "implementation-side typechecking" is
currently unimplemented, so some errors will go unnoticed.)
Vassily
On Wed, 23 Feb 2000, Andy Koppe wrote:
> Hi!
>
> When typechecking the following two declarations I get a type error which I
> can't understand since a representation declaration is not supposed to define
> a named type.
>
> type complex;
> representation complex subtypes complex;
>
> complex.cecil:2: type error: repeated declaration of type complex ignored
> (first decl was at complex.cecil:1)
>
> Regards,
>
> Andy Koppe
>
This archive was generated by hypermail 2b25 : Tue Oct 03 2000 - 15:21:23 PDT