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

Reply via email to