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