blob: 6d0ccc91ecaf792878b6839fec1e3918d00470d0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
TH_localname.hs:3:11: error:
• Ambiguous type variable ‘m0’ arising from a quotation bracket
prevents the constraint ‘(Language.Haskell.TH.Syntax.Quote
m0)’ from being solved.
Relevant bindings include
x :: t0 -> m0 Language.Haskell.TH.Syntax.Exp
(bound at TH_localname.hs:3:1)
Probable fix: use a type annotation to specify what ‘m0’ should be.
These potential instance exist:
one instance involving out-of-scope types
(use -fprint-potential-instances to see them all)
• In the expression:
[| y |]
pending(rn) [<y, Language.Haskell.TH.Syntax.lift y>]
In the expression:
\ y
-> [| y |]
pending(rn) [<y, Language.Haskell.TH.Syntax.lift y>]
In an equation for ‘x’:
x = \ y
-> [| y |]
pending(rn) [<y, Language.Haskell.TH.Syntax.lift y>]
|