Fix TcSimplify.decideQuantification for kind variables
[ghc.git] / testsuite / tests / indexed-types / should_fail / T1897b.stderr
index 06d81a1..d3c8b06 100644 (file)
@@ -1,14 +1,13 @@
 
-T1897b.hs:16:1:
-    Could not deduce (Depend a0 ~ Depend a)
-    from the context (Bug a)
-      bound by the inferred type for ‘isValid’:
-                 Bug a => [Depend a] -> Bool
-      at T1897b.hs:16:1-41
-    NB: ‘Depend’ is a type function, and may not be injective
-    The type variable ‘a0’ is ambiguous
-    Expected type: [Depend a] -> Bool
-      Actual type: [Depend a0] -> Bool
-    When checking that ‘isValid’
-      has the inferred type ‘forall a. Bug a => [Depend a] -> Bool’
-    Probable cause: the inferred type is ambiguous
+T1897b.hs:16:1: error:
+    • Couldn't match type ‘Depend a’ with ‘Depend a0’
+      Expected type: t (Depend a) -> Bool
+        Actual type: t (Depend a0) -> Bool
+      NB: ‘Depend’ is a type function, and may not be injective
+      The type variable ‘a0’ is ambiguous
+    • In the ambiguity check for the inferred type for ‘isValid’
+      To defer the ambiguity check to use sites, enable AllowAmbiguousTypes
+      When checking the inferred type
+        isValid :: forall (t :: * -> *) a.
+                   (Bug a, Foldable t) =>
+                   t (Depend a) -> Bool