Improve type-error reporting
[ghc.git] / testsuite / tests / partial-sigs / should_compile / T12033.stderr
1
2 T12033.hs:12:22: warning: [-Wpartial-type-signatures (in -Wdefault)]
3     • Found type wildcard ‘_’ standing for ‘v -> t’
4       Where: ‘t’ is a rigid type variable bound by
5                the inferred types of
6                  makeTuple :: v -> t
7                  makeExpression :: v -> t
8                at T12033.hs:(11,4)-(13,39)
9              ‘v’ is a rigid type variable bound by
10                the type signature for:
11                  tripleStoreToRuleSet :: forall v. v -> v
12                at T12033.hs:6:1-30
13     • In the type signature: makeExpression :: _
14       In an equation for ‘tripleStoreToRuleSet’:
15           tripleStoreToRuleSet getAtom
16             = makeTuple getAtom
17             where
18                 makeRule v = makeExpression v
19                 makeTuple v = makeExpression v
20                 makeExpression :: _
21                 makeExpression v = makeTuple getAtom
22     • Relevant bindings include
23         getAtom :: v (bound at T12033.hs:7:22)
24         tripleStoreToRuleSet :: v -> v (bound at T12033.hs:7:1)