TH: make `Lift` and `TExp` levity-polymorphic
[ghc.git] / testsuite / tests / quotes / TH_localname.stderr
1
2 TH_localname.hs:3:11: error:
3     • Ambiguous type variable ‘t0’ arising from a use of ‘Language.Haskell.TH.Syntax.lift’
4       prevents the constraint ‘(Language.Haskell.TH.Syntax.Lift
5                                   t0)’ from being solved.
6       Relevant bindings include
7         y :: t0 (bound at TH_localname.hs:3:6)
8         x :: t0 -> Language.Haskell.TH.Lib.Internal.ExpQ
9           (bound at TH_localname.hs:3:1)
10       Probable fix: use a type annotation to specify what ‘t0’ should be.
11       These potential instances exist:
12         29 instances involving out-of-scope types
13         (use -fprint-potential-instances to see them all)
14     • In the expression: Language.Haskell.TH.Syntax.lift y
15       In the expression:
16         [| y |]
17         pending(rn) [<y, Language.Haskell.TH.Syntax.lift y>]
18       In the expression:
19         \ y
20           -> [| y |]
21              pending(rn) [<y, Language.Haskell.TH.Syntax.lift y>]