Add test for #12589
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail132.hs
index dd8d644..910fc22 100644 (file)
@@ -2,7 +2,7 @@
 -- The current error message was rather horrible (trac bug #312):
 --
 --    Kind error: Expecting kind `k_a1JA -> k_a1JE -> k_a1JI -> *',
---               but `DUnit t' has kind `k_a1JA -> k_a1JE -> *'
+--                but `DUnit t' has kind `k_a1JA -> k_a1JE -> *'
 --
 -- as we couldn't tidy kinds, because they didn't have OccNames.
 -- This test recalls the bad error message.
@@ -15,5 +15,5 @@ type DUnit t o1 o2       = ()
 type T f g t o1 o2  = Either (f t o1 o2) (g t o1 o2)
 
 type LiftObject t f' f         = T (Object f' f t) (DUnit t)
+