Add InjectiveTypeFamilies language extension
[ghc.git] / testsuite / tests / typecheck / should_fail / T10836.hs
1 {-# LANGUAGE InjectiveTypeFamilies #-}
2 module T10836 where
3
4 type family Foo a = r | r -> a where
5 Foo Int = Int
6 Foo Bool = Int
7
8 type family Bar a = r | r -> a where
9 Bar Int = Int
10 Bar Bool = Int