blob: 3ca443e981c3c7b6af440fb724746b04892bd031 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
TH_localname.hs:3:11: error:
• Ambiguous type variable ‘t0’ arising from a use of ‘Language.Haskell.TH.Syntax.lift’
prevents the constraint ‘(Language.Haskell.TH.Syntax.Lift
t0)’ from being solved.
Relevant bindings include
y :: t0 (bound at TH_localname.hs:3:6)
x :: t0 -> Language.Haskell.TH.Lib.ExpQ
(bound at TH_localname.hs:3:1)
Probable fix: use a type annotation to specify what ‘t0’ should be.
These potential instances exist:
instance (Language.Haskell.TH.Syntax.Lift a,
Language.Haskell.TH.Syntax.Lift b) =>
Language.Haskell.TH.Syntax.Lift (Either a b)
-- Defined in ‘Language.Haskell.TH.Syntax’
instance Language.Haskell.TH.Syntax.Lift Integer
-- Defined in ‘Language.Haskell.TH.Syntax’
instance Language.Haskell.TH.Syntax.Lift a =>
Language.Haskell.TH.Syntax.Lift (Maybe a)
-- Defined in ‘Language.Haskell.TH.Syntax’
...plus 14 others
...plus 10 instance involving out-of-scope typess
(use -fprint-potential-instances to see them all)
• In the expression: Language.Haskell.TH.Syntax.lift y
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>]
|