Split up coercionKind
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail129.hs
1 -- Both blocks are illegal Haskell 98, because of the un-saturated
2 -- type synonym, but (rather obscurely) at one point (GHC 6.3), we
3 -- acceped 'blah', but rejected 'blah1'
4
5 module ShouldFail where
6
7 data T = T
8
9 -- This was erroneously accepted
10 type Foo a = String -> Maybe a
11 type Bar m = m Int
12 blah = undefined :: Bar Foo
13
14
15 type Foo1 a = Maybe a
16 type Bar1 m = m Int
17 blah1 = undefined :: Bar1 Foo1
18
19