Hi,
This is a bug that I found in the latest version of Hugs1.4, but not in
Hugs98.
I loaded the following piece of code.
>>>
class Foo a where
foo :: a -> Int
instance Foo a => Foo [a] where
foo = sum . map foo
class Bar a where
bar :: Foo b => a -> [b] -> Int
instance Bar Int where
bar n bs = n + foo bs
<<<
The use of "foo" with the list "bs" on the last line is valid, because of
the instance declaration Foo a => Foo [a]. But Hugs complains.
Regards,
Koen.
--
Koen Claessen,
[EMAIL PROTECTED],
http://www.cs.chalmers.se/~koen,
Chalmers University of Technology.
