summaryrefslogtreecommitdiff
path: root/testsuite/tests/quotes/TH_localname.stderr
blob: d872a622b323e24734ea8f186a4abd5c10156792 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

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.Internal.ExpQ
          (bound at TH_localname.hs:3:1)
      Probable fix: use a type annotation to specify what ‘t0’ should be.
      These potential instances exist:
        29 instances involving out-of-scope types
        (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>]