blob: 3af467c2cf49f06f7f33e052e58b73138a584d8e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE MultiParamTypeClasses, UndecidableInstances #-}
module Bug where
class A a oops
data D d = D d
instance A a oops => Read (D a)
-- Actually this instance is ambiguous
-- and is now rightly rejected
data E e = E (D e) deriving Read
instance A Int Bool
|