4bd7bde8df54ca2577b7512aea332fe8dac85d3a
[ghc.git] / testsuite / tests / indexed-types / should_fail / SimpleFail10.hs
1 {-# LANGUAGE TypeFamilies #-}
2
3 module ShouldFail where
4
5 class C8 a where
6 data S8 a :: * -> *
7
8 instance C8 Int where
9 data S8 Int a = S8Int a
10
11 -- Extra argument is not a variable; this is fine
12 instance C8 Bool where
13 data S8 Bool Char = S8Bool