Add test for #12589
[ghc.git] / testsuite / tests / typecheck / should_fail / T9605.stderr
index 4ba1d33..db65629 100644 (file)
@@ -1,11 +1,11 @@
 
-T9605.hs:7:6:
-    Couldn't match type ‘Bool’ with ‘m Bool’
-    Expected type: t0 -> m Bool
-      Actual type: t0 -> Bool
-    Relevant bindings include f2 :: m Bool (bound at T9605.hs:7:1)
-    The function ‘f1’ is applied to one argument,
-    its type is ‘m0 Bool’,
-    it is specialized to ‘t0 -> Bool’
-    In the expression: f1 undefined
-    In an equation for ‘f2’: f2 = f1 undefined
+T9605.hs:7:6: error:
+    • Couldn't match type ‘Bool’ with ‘m Bool’
+      Expected type: t0 -> m Bool
+        Actual type: t0 -> Bool
+    • The function ‘f1’ is applied to one argument,
+      its type is ‘m0 Bool’,
+      it is specialized to ‘t0 -> Bool’
+      In the expression: f1 undefined
+      In an equation for ‘f2’: f2 = f1 undefined
+    • Relevant bindings include f2 :: m Bool (bound at T9605.hs:7:1)