Fix error-message suppress on given equalities
[ghc.git] / testsuite / tests / indexed-types / should_fail / T2627b.stderr
index 63f11b9..1a09bd8 100644 (file)
@@ -1,9 +1,13 @@
 
 T2627b.hs:20:24: error:
-    • Occurs check: cannot construct the infinite type:
-        b0 ~ Dual (Dual b0)
+    • Couldn't match type ‘b0’ with ‘Dual (Dual b0)’
         arising from a use of ‘conn’
-      The type variable ‘b0’ is ambiguous
+        ‘b0’ is untouchable
+          inside the constraints: b ~ W e f
+          bound by a pattern with constructor:
+                     Wr :: forall e f. e -> Comm f -> Comm (W e f),
+                   in an equation for ‘conn’
+          at T2627b.hs:20:14-19
     • In the expression: conn undefined undefined
       In an equation for ‘conn’:
           conn (Rd k) (Wr a r) = conn undefined undefined