I don't know if this is a bug in Hugs 98, or whether it's a
misunderstanding of mine.
The Haskell 98 Report Sec. 4.2.2 claims that 'type' introduces a new type
constructor. Yet it doesn't seem possible to declare the type constructor
an instance of a class:
--
class MyClass c where
foo :: a -> c a
type T m = IO m
instance MyClass T where
foo = return
--
Hugs gives:
(line 6): Not enough arguments for type synonym "T"
So is T a real type constructor or not?
--
Ashley Yakeley, Seattle WA
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
