blob: f7e8bd1b8286675b241cf3b030ae791bed19b224 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE MultiParamTypeClasses #-}
module ShouldFail where
data T a = MkT
class C a b where
op :: T a -> T b -> Bool
-- Repeated type variable in an instance constraint
-- should require UndecidableInstances
instance C a a => Eq (T a) where
(==) = op
|