Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail090.stderr
index 6c6f97d..efb81e8 100644 (file)
@@ -1,8 +1,8 @@
 
 tcfail090.hs:11:9: error:
-    Couldn't match kind ‘*’ with ‘#’
-    When matching types
-      a0 :: *
-      ByteArray# :: #
-    In the expression: my_undefined
-    In an equation for ‘die’: die _ = my_undefined
+    • Couldn't match a lifted type with an unlifted type
+      When matching types
+        a0 :: *
+        ByteArray# :: TYPE 'UnliftedRep
+    • In the expression: my_undefined
+      In an equation for ‘die’: die _ = my_undefined