Tweaks and typos in manual, note refs, comments
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail159.stderr
index 3ff73d8..412ba47 100644 (file)
@@ -1,9 +1,6 @@
 
-tcfail159.hs:9:11:
-    Couldn't match kind ‛*’ with ‛#’
-    When matching types
-      t0 :: *
-      (# Int, Int #) :: #
-    In the pattern: ~(# p, q #)
-    In a case alternative: ~(# p, q #) -> p
-    In the expression: case h x of { ~(# 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 }