summaryrefslogtreecommitdiff
path: root/testsuite/tests/quotes/TH_localname.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/quotes/TH_localname.stderr')
-rw-r--r--testsuite/tests/quotes/TH_localname.stderr7
1 files changed, 4 insertions, 3 deletions
diff --git a/testsuite/tests/quotes/TH_localname.stderr b/testsuite/tests/quotes/TH_localname.stderr
index c764f576ef..dfb1e41383 100644
--- a/testsuite/tests/quotes/TH_localname.stderr
+++ b/testsuite/tests/quotes/TH_localname.stderr
@@ -1,11 +1,12 @@
TH_localname.hs:3:11: error:
- No instance for (Lift t0) arising from a use of ‘lift’
- The type variable ‘t0’ is ambiguous
+ Ambiguous type variable ‘t0’ arising from a use of ‘lift’
+ prevents the constraint ‘(Lift t0)’ from being solved.
Relevant bindings include
y :: t0 (bound at TH_localname.hs:3:6)
x :: t0 -> ExpQ (bound at TH_localname.hs:3:1)
- Potential instances:
+ Probable fix: use a type annotation to specify what ‘t0’ should be.
+ These potential instances exist:
instance (Lift a, Lift b) => Lift (Either a b)
-- Defined in ‘Language.Haskell.TH.Syntax’
instance Lift Int16 -- Defined in ‘Language.Haskell.TH.Syntax’