1 \r
2 Trac10045.hs:6:17: error:\r
3     Found type wildcard ‘_’ standing for ‘t1 -> a -> t2’\r
4     Where: ‘t1’ is a rigid type variable bound by\r
5                 the inferred type of copy :: Num a => t1 -> a -> t2\r
6                 at Trac10045.hs:7:9\r
7            ‘a’ is a rigid type variable bound by\r
8                the inferred type of copy :: Num a => t1 -> a -> t2\r
9                at Trac10045.hs:7:9\r
10            ‘t2’ is a rigid type variable bound by\r
11                 the inferred type of copy :: Num a => t1 -> a -> t2\r
12                 at Trac10045.hs:7:9\r
13     To use the inferred type, enable PartialTypeSignatures\r
14     In the type signature for:\r
15       copy :: _\r
16     In the expression:\r
17       let\r
18         copy :: _\r
19         copy w from = copy w 1\r
20       in copy ws1 1\r
21     In an equation for ‘foo’:\r
22         foo (Meta ws1)\r
23           = let\r
24               copy :: _\r
25               copy w from = copy w 1\r
26             in copy ws1 1\r
27     Relevant bindings include\r
28       ws1 :: () (bound at Trac10045.hs:5:11)\r
29       foo :: Meta -> t (bound at Trac10045.hs:5:1)\r
30 \r
31 Trac10045.hs:7:9: error:\r
32     No instance for (Num a)\r
33     When checking that ‘copy’ has the inferred type\r
34       copy :: forall t t1 a. t -> a -> t1\r
35     Probable cause: the inferred type is ambiguous\r
36     In the expression:\r
37       let\r
38         copy :: _\r
39         copy w from = copy w 1\r
40       in copy ws1 1\r
41     In an equation for ‘foo’:\r
42         foo (Meta ws1)\r
43           = let\r
44               copy :: _\r
45               copy w from = copy w 1\r
46             in copy ws1 1\r