Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail125.stderr
index 5d31a29..7fe5275 100644 (file)
@@ -1,11 +1,12 @@
-\r
-tcfail125.hs:1:14: Warning:\r
-    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.\r
-\r
-tcfail125.hs:11:4:\r
-    No instance for (Show a) arising from a use of ‘LiftObs’\r
-    Possible fix:\r
-      add (Show a) to the context of\r
-        the type signature for: f :: Obs a -> String\r
-    In the pattern: LiftObs _ _\r
-    In an equation for ‘f’: f (LiftObs _ _) = "yes"\r
+
+tcfail125.hs:1:14: warning:
+    -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language.
+
+tcfail125.hs:11:4: error:
+    • No instance for (Show a) arising from a use of ‘LiftObs’
+      Possible fix:
+        add (Show a) to the context of
+          the type signature for:
+            f :: forall a. Obs a -> String
+    • In the pattern: LiftObs _ _
+      In an equation for ‘f’: f (LiftObs _ _) = "yes"