TH: make `Lift` and `TExp` levity-polymorphic
[ghc.git] / testsuite / tests / quotes / TH_localname.stderr
index df38597..d872a62 100644 (file)
@@ -9,17 +9,7 @@ TH_localname.hs:3:11: error:
           (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 12 instances involving out-of-scope types
+        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: