Tidy up and refactor wildcard handling
[ghc.git] / testsuite / tests / partial-sigs / should_fail / Trac10045.stderr
index 14302fb..da0f8c7 100644 (file)
@@ -1,45 +1,46 @@
-
-Trac10045.hs:6:17: error:
-    Found type wildcard ‘_’ standing for ‘t1 -> a -> t2’
-    Where: ‘t1’ is a rigid type variable bound by
-                the inferred type of copy :: Num a => t1 -> a -> t2
-                at Trac10045.hs:7:9
-           ‘t2’ is a rigid type variable bound by
-                the inferred type of copy :: Num a => t1 -> a -> t2
-                at Trac10045.hs:7:9
-           ‘a’ is a rigid type variable bound by
-               the inferred type of copy :: Num a => t1 -> a -> t2
-               at Trac10045.hs:7:9
-    To use the inferred type, enable PartialTypeSignatures
-    Relevant bindings include
-      ws1 :: () (bound at Trac10045.hs:5:11)
-      foo :: Meta -> t (bound at Trac10045.hs:5:1)
-    In the type signature for ‘copy’: _
-    In the expression:
-      let
-        copy :: _
-        copy w from = copy w 1
-      in copy ws1 1
-    In an equation for ‘foo’:
-        foo (Meta ws1)
-          = let
-              copy :: _
-              copy w from = copy w 1
-            in copy ws1 1
-
-Trac10045.hs:7:9: error:
-    No instance for (Num a)
-    When checking that ‘copy’ has the inferred type
-      copy :: forall t t1 a. t -> a -> t1
-    Probable cause: the inferred type is ambiguous
-    In the expression:
-      let
-        copy :: _
-        copy w from = copy w 1
-      in copy ws1 1
-    In an equation for ‘foo’:
-        foo (Meta ws1)
-          = let
-              copy :: _
-              copy w from = copy w 1
-            in copy ws1 1
+\r
+Trac10045.hs:6:17: error:\r
+    Found type wildcard ‘_’ standing for ‘t1 -> a -> t2’\r
+    Where: ‘t1’ is a rigid type variable bound by\r
+                the inferred type of copy :: Num a => t1 -> a -> t2\r
+                at Trac10045.hs:7:9\r
+           ‘t2’ is a rigid type variable bound by\r
+                the inferred type of copy :: Num a => t1 -> a -> t2\r
+                at Trac10045.hs:7:9\r
+           ‘a’ is a rigid type variable bound by\r
+               the inferred type of copy :: Num a => t1 -> a -> t2\r
+               at Trac10045.hs:7:9\r
+    To use the inferred type, enable PartialTypeSignatures\r
+    Relevant bindings include\r
+      ws1 :: () (bound at Trac10045.hs:5:11)\r
+      foo :: Meta -> t (bound at Trac10045.hs:5:1)\r
+    In the type signature for:\r
+      copy :: _\r
+    In the expression:\r
+      let\r
+        copy :: _\r
+        copy w from = copy w 1\r
+      in copy ws1 1\r
+    In an equation for ‘foo’:\r
+        foo (Meta ws1)\r
+          = let\r
+              copy :: _\r
+              copy w from = copy w 1\r
+            in copy ws1 1\r
+\r
+Trac10045.hs:7:9: error:\r
+    No instance for (Num a)\r
+    When checking that ‘copy’ has the inferred type\r
+      copy :: forall t t1 a. t -> a -> t1\r
+    Probable cause: the inferred type is ambiguous\r
+    In the expression:\r
+      let\r
+        copy :: _\r
+        copy w from = copy w 1\r
+      in copy ws1 1\r
+    In an equation for ‘foo’:\r
+        foo (Meta ws1)\r
+          = let\r
+              copy :: _\r
+              copy w from = copy w 1\r
+            in copy ws1 1\r