On Mon, 15 Apr 2002, Jay Cox wrote:
>
> class Eq z where
> (==) :: z -> z -> Bool
>
Oops. Here to report a Jay.Brain bug. I understand you now.
Heh. I infered the bug you report was standard haskell usage.
Here's a more dramatic example of your bug :)
http://www.
On Mon, 15 Apr 2002, Ross Paterson wrote:
> GHC (even without -fglasgow-exts) rejects the following:
>
> newtype Foo a = Foo a
>
> instance Eq a => Eq (Foo a) where
> Foo x == Foo y = bar
> where bar :: a
> bar = unde
GHC (even without -fglasgow-exts) rejects the following:
newtype Foo a = Foo a
instance Eq a => Eq (Foo a) where
Foo x == Foo y = bar
where bar :: a
bar = undefined
It seems to treat the inner a as bound t