Tighten checking for associated type instances
[ghc.git] / testsuite / tests / indexed-types / should_fail / SimpleFail9.hs
1 {-# LANGUAGE TypeFamilies, MultiParamTypeClasses, FlexibleInstances #-}
2
3 module ShouldFail where
4
5 class C7 a b where
6 data S7 b :: *
7
8 instance C7 Char (a, Bool) where
9 data S7 (a, Bool) = S7_1
10
11 -- Fails because the arg to S7 should be the
12 -- same as that to C7
13 instance C7 Char (a, Int) where
14 data S7 (b, Int) = S7_2