| I am working with HUGS1.3c (p1) and I have detected 2 bugs:
You mean Hugs 1.3c ... it's not an acronym any more!
| 1) The next declaration crashes the HUGS1.3c (p1) system:
|
| >class SubType sub sup
| >
| >class (SubType (m v -> m v) v) => Reflexive m v
This code works fine on my machine with Hugs 1.3c p1. Please
could you send more information, and perhaps a small but complete
program that triggers the problems.
| ------------------------------------------------------------
| 2) The system also complains about the next code:
|
| >class Rec rec where
| ...
|
| 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
This is not really a bug. By default, the name "Rec" is built in
to Hugs 1.3c as the constructor that is used to build record types
(part of the TREX extension). Following the usual restriction
in Haskell, you can't have a class and a type with the same name
in the same scope.
Hope that helps,
Mark
