type/representation nameclash


Subject: type/representation nameclash
From: Andy Koppe (andy@dcs.ed.ac.uk)
Date: Wed Feb 23 2000 - 05:49:50 PST


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:22 PDT