Add HsSyn prettyprinter tests
[ghc.git] / testsuite / tests / typecheck / should_fail / T6018failclosed2.hs
1 {-# LANGUAGE TypeFamilyDependencies #-}
2
3 module T6018failclosed2 where
4
5 -- this one is a strange beast. Last equation is unreachable and thus it is
6 -- removed. It is then impossible to typecheck barapp and thus we generate an
7 -- error
8 type family Bar a = r | r -> a where
9 Bar Int = Bool
10 Bar Bool = Int
11 Bar Bool = Char
12
13 bar :: Bar a -> Bar a
14 bar x = x
15
16 barapp :: Char
17 barapp = bar 'c'