blob: a83c606eb4179b3447cdaf6f4bb4e250a1e1a217 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
TH_localname.hs:3:11: error:
No instance for (Lift t0) arising from a use of ‘lift’
The type variable ‘t0’ is ambiguous
Relevant bindings include
y :: t0 (bound at TH_localname.hs:3:6)
x :: t0 -> ExpQ (bound at TH_localname.hs:3:1)
Note: there are several potential instances:
instance (Lift a, Lift b) => Lift (Either a b)
-- Defined in ‘Language.Haskell.TH.Syntax’
instance Lift a => Lift (Maybe a)
-- Defined in ‘Language.Haskell.TH.Syntax’
instance Lift Int16 -- Defined in ‘Language.Haskell.TH.Syntax’
...plus 24 others
In the expression: lift y
In the expression:
[| y |]
pending(rn) [<y, lift y>]
In the expression:
\ y
-> [| y |]
pending(rn) [<y, lift y>]
|
