927c60caf0d7990271ede35a7f708b0a93d4cfe7
[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 -- Used to fail, but now passes:
12 -- type indexes don't match the instance types by name
13 -- but do by structure
14 instance C7 Char (a, Int) where
15 data S7 (b, Int) = S7_2