diff options
Diffstat (limited to 'testsuite/tests/quotes/TH_localname.stderr')
| -rw-r--r-- | testsuite/tests/quotes/TH_localname.stderr | 50 |
1 files changed, 29 insertions, 21 deletions
diff --git a/testsuite/tests/quotes/TH_localname.stderr b/testsuite/tests/quotes/TH_localname.stderr index dfb1e41383..3ca443e981 100644 --- a/testsuite/tests/quotes/TH_localname.stderr +++ b/testsuite/tests/quotes/TH_localname.stderr @@ -1,23 +1,31 @@ TH_localname.hs:3:11: error: - 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) - 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’ - instance Lift Int32 -- Defined in ‘Language.Haskell.TH.Syntax’ - ...plus 24 others - (use -fprint-potential-instances to see them all) - In the expression: lift y - In the expression: - [| y |] - pending(rn) [<y, lift y>] - In the expression: - \ y - -> [| y |] - pending(rn) [<y, lift y>] + • 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>] |