Fix error-message suppress on given equalities
[ghc.git] / testsuite / tests / indexed-types / should_fail / T7354.stderr
index b7b70b8..f4c3c0d 100644 (file)
@@ -1,7 +1,8 @@
 
 T7354.hs:28:11: error:
-    • Occurs check: cannot construct the infinite type:
-        p ~ Base t (Prim [p] p)
+    • Couldn't match type ‘p’ with ‘Base t (Prim [p] p)’
+      ‘p’ is a rigid type variable bound by
+        the inferred type of foo :: Prim [p] p -> t at T7354.hs:28:1-13
       Expected type: Prim [p] p -> Base t (Prim [p] p)
         Actual type: Prim [p] p -> p
     • In the first argument of ‘ana’, namely ‘alg’