Re-add FunTy (big patch)
[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’ is a rigid type variable bound by
5                the inferred type of copy :: t1 -> Bool -> t2 at T10045.hs:7:10
6              ‘t2’ is a rigid type variable bound by
7                the inferred type of copy :: t1 -> Bool -> t2 at T10045.hs:7:10
8       To use the inferred type, enable PartialTypeSignatures
9     • In the type signature:
10         copy :: _
11       In the expression:
12         let
13           copy :: _
14           copy w from = copy w True
15         in copy ws1 False
16       In an equation for ‘foo’:
17           foo (Meta ws1)
18             = let
19                 copy :: _
20                 copy w from = copy w True
21               in copy ws1 False
22     • Relevant bindings include
23         copy :: t1 -> Bool -> t2 (bound at T10045.hs:7:10)
24         ws1 :: () (bound at T10045.hs:5:11)
25         foo :: Meta -> t (bound at T10045.hs:5:1)
26