Remove pointless partiality in `Parser.ajs`
[ghc.git] / testsuite / tests / partial-sigs / should_fail / T10045.stderr
1
2 T10045.hs:6:18: error:
3     • Found type wildcard ‘_’ standing for ‘t1 -> Bool -> t2’
4       Where: ‘t1’, ‘t2’ are rigid type variables bound by
5                the inferred type of copy :: t1 -> Bool -> t2
6                at T10045.hs:7:10-34
7       To use the inferred type, enable PartialTypeSignatures
8     • In the type signature: copy :: _
9       In the expression:
10         let
11           copy :: _
12           copy w from = copy w True
13         in copy ws1 False
14       In an equation for ‘foo’:
15           foo (Meta ws1)
16             = let
17                 copy :: _
18                 copy w from = copy w True
19               in copy ws1 False
20     • Relevant bindings include
21         ws1 :: () (bound at T10045.hs:5:11)
22         foo :: Meta -> t (bound at T10045.hs:5:1)