Major patch to introduce TyConBinder
[ghc.git] / testsuite / tests / partial-sigs / should_compile / T11192.stderr
index c7420eb..7abf6e5 100644 (file)
@@ -2,9 +2,8 @@
 T11192.hs:7:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
     • Found type wildcard ‘_’ standing for ‘Int -> t -> t’
       Where: ‘t’ is a rigid type variable bound by
-               the inferred type of go :: Int -> t -> t at T11192.hs:8:8
-    • In the type signature:
-        go :: _
+               the inferred type of go :: Int -> t -> t at T11192.hs:8:8-17
+    • In the type signature: go :: _
       In the expression:
         let
           go :: _
@@ -16,18 +15,15 @@ T11192.hs:7:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
                 go :: _
                 go 0 a = a
               in go (0 :: Int) undefined
-    • Relevant bindings include
-        go :: Int -> t -> t (bound at T11192.hs:8:8)
-        fails :: a (bound at T11192.hs:6:1)
+    • Relevant bindings include fails :: a (bound at T11192.hs:6:1)
 
 T11192.hs:13:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
-    • Found type wildcard ‘_’ standing for ‘t -> t1 -> t1’
-      Where: ‘t’ is a rigid type variable bound by
-               the inferred type of go :: t -> t1 -> t1 at T11192.hs:14:8
-             ‘t1’ is a rigid type variable bound by
-               the inferred type of go :: t -> t1 -> t1 at T11192.hs:14:8
-    • In the type signature:
-        go :: _
+    • Found type wildcard ‘_’ standing for ‘t1 -> t -> t’
+      Where: ‘t1’ is a rigid type variable bound by
+               the inferred type of go :: t1 -> t -> t at T11192.hs:14:8-17
+             ‘t’ is a rigid type variable bound by
+               the inferred type of go :: t1 -> t -> t at T11192.hs:14:8-17
+    • In the type signature: go :: _
       In the expression:
         let
           go :: _
@@ -39,7 +35,4 @@ T11192.hs:13:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
                 go :: _
                 go _ a = a
               in go (0 :: Int) undefined
-    • Relevant bindings include
-        go :: t -> t1 -> t1 (bound at T11192.hs:14:8)
-        succeeds :: a (bound at T11192.hs:12:1)
-
+    • Relevant bindings include succeeds :: a (bound at T11192.hs:12:1)