blob: d45c9830a4c7c266cc1f12d1edea484a25e305f0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE TypeFamilies, MultiParamTypeClasses, FlexibleInstances #-}
module ShouldFail where
class C7 a b where
data S7 b :: *
instance C7 Char (a, Bool) where
data S7 (a, Bool) = S7_1
-- must fail: type indexes don't match the instance types
instance C7 Char (a, Int) where
data S7 (b, Int) = S7_2
|
