I am working with HUGS1.3c (p1) and I have detected 2 bugs:
1) The next declaration crashes the HUGS1.3c (p1) system:
>class SubType sub sup
>
>class (SubType (m v -> m v) v) => Reflexive m v
>
I could repair it adding a new constraint:
>
>class (Monad m, SubType (m v -> m v) v) => Reflexive m v
>
I think that the system shouldn't crash with the first
declaration.
------------------------------------------------------------
2) The system also complains about the next code:
>class Rec rec where
> rec :: f (rec f) -> rec f
>
>data REC f = REC (f (REC f))
>
>instance Rec REC where
> rec x = (REC x)
>
Reading script file "sameName.hs":
Parsing
ERROR "sameName.hs" (line 1): "Rec" used as both class and type constructor
It is probably a known bug because it loads succesfully in HUGS1.4
