Add kind equalities to GHC.
[ghc.git] / testsuite / tests / partial-sigs / should_fail / WildcardInstantiations.stderr
index ac44a19..ddbb9e2 100644 (file)
@@ -25,40 +25,40 @@ WildcardInstantiations.hs:5:30: error:
         foo :: a -> String (bound at WildcardInstantiations.hs:6:1)
 
 WildcardInstantiations.hs:8:8: error:
-    • Found type wildcard ‘_’ standing for ‘t’
-      Where: ‘t’ is a rigid type variable bound by
-               the inferred type of bar :: t -> (t -> t1) -> t1
+    • Found type wildcard ‘_’ standing for ‘t1
+      Where: ‘t1’ is a rigid type variable bound by
+               the inferred type of bar :: t1 -> (t1 -> t) -> t
                at WildcardInstantiations.hs:9:1
       To use the inferred type, enable PartialTypeSignatures
     • In the type signature:
         bar :: _ -> _ -> _
     • Relevant bindings include
-        bar :: t -> (t -> t1) -> t1
+        bar :: t1 -> (t1 -> t) -> t
           (bound at WildcardInstantiations.hs:9:1)
 
 WildcardInstantiations.hs:8:13: error:
-    • Found type wildcard ‘_’ standing for ‘t -> t1
+    • Found type wildcard ‘_’ standing for ‘t1 -> t
       Where: ‘t’ is a rigid type variable bound by
-               the inferred type of bar :: t -> (t -> t1) -> t1
+               the inferred type of bar :: t1 -> (t1 -> t) -> t
                at WildcardInstantiations.hs:9:1
              ‘t1’ is a rigid type variable bound by
-               the inferred type of bar :: t -> (t -> t1) -> t1
+               the inferred type of bar :: t1 -> (t1 -> t) -> t
                at WildcardInstantiations.hs:9:1
       To use the inferred type, enable PartialTypeSignatures
     • In the type signature:
         bar :: _ -> _ -> _
     • Relevant bindings include
-        bar :: t -> (t -> t1) -> t1
+        bar :: t1 -> (t1 -> t) -> t
           (bound at WildcardInstantiations.hs:9:1)
 
 WildcardInstantiations.hs:8:18: error:
-    • Found type wildcard ‘_’ standing for ‘t1
-      Where: ‘t1’ is a rigid type variable bound by
-               the inferred type of bar :: t -> (t -> t1) -> t1
+    • Found type wildcard ‘_’ standing for ‘t’
+      Where: ‘t’ is a rigid type variable bound by
+               the inferred type of bar :: t1 -> (t1 -> t) -> t
                at WildcardInstantiations.hs:9:1
       To use the inferred type, enable PartialTypeSignatures
     • In the type signature:
         bar :: _ -> _ -> _
     • Relevant bindings include
-        bar :: t -> (t -> t1) -> t1
+        bar :: t1 -> (t1 -> t) -> t
           (bound at WildcardInstantiations.hs:9:1)