blob: 6e3161bd462e59df7fa439e99c9572ac54bbc756 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# 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
|