Fix incorrect ambiguity error on identically-named data constructors
[ghc.git] / testsuite / tests / typecheck / should_fail / T8450.stderr
index 2cc9a6b..7503f4d 100644 (file)
@@ -1,9 +1,15 @@
-\r
-T8450.hs:8:7:\r
-    Couldn't match expected type ‘a’ with actual type ‘()’\r
-      ‘a’ is a rigid type variable bound by\r
-          the type signature for run :: a at T8450.hs:7:15\r
-    Relevant bindings include run :: a (bound at T8450.hs:8:1)\r
-    In the expression: runEffect $ (undefined :: Either a ())\r
-    In an equation for ‘run’:\r
-        run = runEffect $ (undefined :: Either a ())\r
+
+T8450.hs:8:20: error:
+    • Couldn't match type ‘a’ with ‘Bool’
+      ‘a’ is a rigid type variable bound by
+        the type signature for:
+          run :: forall a. a
+        at T8450.hs:7:1-18
+      Expected type: Either Bool ()
+        Actual type: Either a ()
+    • In the second argument of ‘($)’, namely
+        ‘(undefined :: Either a ())’
+      In the expression: runEffect $ (undefined :: Either a ())
+      In an equation for ‘run’:
+          run = runEffect $ (undefined :: Either a ())
+    • Relevant bindings include run :: a (bound at T8450.hs:8:1)