Tidy up and refactor wildcard handling
[ghc.git] / testsuite / tests / partial-sigs / should_fail / TidyClash.stderr
index 11161be..7957891 100644 (file)
@@ -1,16 +1,16 @@
-
-TidyClash.hs:8:19: error:
-    Found type wildcard ‘_’ standing for ‘w_’
-    Where: ‘w_’ is a rigid type variable bound by
-                the inferred type of bar :: w_2 -> (w_2, w_ -> w_1)
-                at TidyClash.hs:9:1
-    To use the inferred type, enable PartialTypeSignatures
-    In the type signature for ‘bar’: w_ -> (w_, _ -> _)
-
-TidyClash.hs:8:24: error:
-    Found type wildcard ‘_’ standing for ‘w_1’
-    Where: ‘w_1’ is a rigid type variable bound by
-                 the inferred type of bar :: w_2 -> (w_2, w_ -> w_1)
-                 at TidyClash.hs:9:1
-    To use the inferred type, enable PartialTypeSignatures
-    In the type signature for ‘bar’: w_ -> (w_, _ -> _)
+\r
+TidyClash.hs:8:19: error:\r
+    Found type wildcard ‘_’ standing for ‘t’\r
+    Where: ‘t’ is a rigid type variable bound by\r
+               the inferred type of bar :: w_ -> (w_, t -> t1) at TidyClash.hs:9:1\r
+    To use the inferred type, enable PartialTypeSignatures\r
+    In the type signature for:\r
+      bar :: w_ -> (w_, _ -> _)\r
+\r
+TidyClash.hs:8:24: error:\r
+    Found type wildcard ‘_’ standing for ‘t1’\r
+    Where: ‘t1’ is a rigid type variable bound by\r
+                the inferred type of bar :: w_ -> (w_, t -> t1) at TidyClash.hs:9:1\r
+    To use the inferred type, enable PartialTypeSignatures\r
+    In the type signature for:\r
+      bar :: w_ -> (w_, _ -> _)\r