Update outputs after renaming the ? and ?? kinds

1 files changed, 5 insertions, 5 deletions

diff --git a/testsuite/tests/typecheck/should_fail/T3540.stderr b/testsuite/tests/typecheck/should_fail/T3540.stderr
index fb711cd5a1..e61109c224 100644
--- a/testsuite/tests/typecheck/should_fail/T3540.stderr
+++ b/testsuite/tests/typecheck/should_fail/T3540.stderr
@@ -1,25 +1,25 @@
 
 T3540.hs:4:12:
     Predicate `a ~ Int' used as a type
-    Expected kind `??', but `a ~ Int' has kind `Constraint'
+    Expected kind `ArgKind', but `a ~ Int' has kind `Constraint'
     In the type signature for `thing': thing :: a ~ Int
 
 T3540.hs:7:20:
     Predicate `a ~ Int' used as a type
-    Expected kind `?', but `a ~ Int' has kind `Constraint'
+    Expected kind `OpenKind', but `a ~ Int' has kind `Constraint'
     In the type signature for `thing1': thing1 :: Int -> (a ~ Int)
 
 T3540.hs:10:13:
     Predicate `a ~ Int' used as a type
-    Expected kind `??', but `a ~ Int' has kind `Constraint'
+    Expected kind `ArgKind', but `a ~ Int' has kind `Constraint'
     In the type signature for `thing2': thing2 :: (a ~ Int) -> Int
 
 T3540.hs:13:12:
     Predicate `?dude :: Int' used as a type
-    Expected kind `??', but `?dude :: Int' has kind `Constraint'
+    Expected kind `ArgKind', but `?dude :: Int' has kind `Constraint'
     In the type signature for `thing3': thing3 :: (?dude :: Int) -> Int
 
 T3540.hs:16:11:
     Predicate `Eq a' used as a type
-    Expected kind `??', but `Eq a' has kind `Constraint'
+    Expected kind `ArgKind', but `Eq a' has kind `Constraint'
     In the type signature for `thing4': thing4 :: (Eq a) -> Int