Fix incorrect ambiguity error on identically-named data constructors
[ghc.git] / testsuite / tests / typecheck / should_fail / T8450.stderr
index 5697e4d..7503f4d 100644 (file)
@@ -1,11 +1,15 @@
 
-T8450.hs:8:7: error:
-    • Couldn't match expected type ‘a’ with actual type ‘()
+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:15
-    • In the expression: runEffect $ (undefined :: Either 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)