Tweaks and typos in manual, note refs, comments
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail159.stderr
index 48c4ceb..412ba47 100644 (file)
@@ -1,9 +1,6 @@
 
 tcfail159.hs:9:11: error:
-    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 }
+    • 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 }