Stef Joosten wrote:
> I am running the Win32 Hugs interpreter of November 1999 under Windows 95.
> During the compilation of a program, which contains errors, the Hugs
> interpreter aborts instead of generating an error message. I have inserted
> the source at the bottom of this e-mail in verbatim.
>
> By the way, here is a symptom: line 25 reads:
> > class Order a => Typology a where
>
> If I change line 25 into:
> > class Ord a => Typology a where
> the Hugs interpreter works fine and produces a awfully lovely error message.
> This behavior suggests a flaw in the type checking of overloading.
A failure of robustness in some code that I added. If I disable that code, you
see the error message that you are supposed to see:
ERROR "t.lhs" (line 168): Class hierarchy for "Order" is not acyclic
I'll check a fix into the CVS repository.
--Jeff