Fix TcSimplify.decideQuantification for kind variables
[ghc.git] / testsuite / tests / indexed-types / should_fail / T1897b.stderr
index b83c7ff..d3c8b06 100644 (file)
@@ -8,6 +8,6 @@ T1897b.hs:16:1: error:
     • 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 a (t :: * -> *).
+        isValid :: forall (t :: * -> *) a.
                    (Bug a, Foldable t) =>
                    t (Depend a) -> Bool