Testsuite: tabs -> spaces [skip ci]
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail132.hs
1 -- Fails with a kind error.
2 -- The current error message was rather horrible (trac bug #312):
3 --
4 -- Kind error: Expecting kind `k_a1JA -> k_a1JE -> k_a1JI -> *',
5 -- but `DUnit t' has kind `k_a1JA -> k_a1JE -> *'
6 --
7 -- as we couldn't tidy kinds, because they didn't have OccNames.
8 -- This test recalls the bad error message.
9
10 module ShouldFail where
11
12 newtype Object f' f t o1 o2 = Object (f' t o1 -> f t o2)
13 type DUnit t o1 o2 = ()
14
15 type T f g t o1 o2 = Either (f t o1 o2) (g t o1 o2)
16
17 type LiftObject t f' f = T (Object f' f t) (DUnit t)
18
19