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