Tweaks and typos in manual, note refs, comments
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail159.stderr
index 0556582..412ba47 100644 (file)
@@ -1,8 +1,6 @@
 
-tcfail159.hs:9:11:
-    Couldn't match kind `*' against `(#)'
-    Kind incompatibility when matching types:
-      t0 :: *
-      (# Int, Int #) :: (#)
-    In the pattern: ~(# p, q #)
-    In a case alternative: ~(# p, q #) -> p
+tcfail159.hs:9:11: error:
+    • Expecting a lifted type, but got an unlifted
+    • In the pattern: ~(# p, q #)
+      In a case alternative: ~(# p, q #) -> p
+      In the expression: case h x of { ~(# p, q #) -> p }