Add test for #12589
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail125.stderr
index b3e0720..7946e88 100644 (file)
@@ -1,11 +1,12 @@
 
-tcfail125.hs:1:14: Warning:
+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:
-    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 :: Obs a -> String
-    In the pattern: LiftObs _ _
-    In an equation for ‘f’: f (LiftObs _ _) = "yes"
+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 :: Obs a -> String
+    • In the pattern: LiftObs _ _
+      In an equation for ‘f’: f (LiftObs _ _) = "yes"