[Git][ghc/ghc][wip/abstract-q] update stability-test

18 Mar 2026


      Teo Camarasu pushed to branch wip/abstract-q at Glasgow Haskell Compiler / GHC


Commits:
26787f8e by Teo Camarasu at 2026-03-18T17:38:39+00:00
update stability-test

- - - - -


1 changed file:

- testsuite/tests/interface-stability/template-haskell-exports.stdout


Changes:

=====================================
testsuite/tests/interface-stability/template-haskell-exports.stdout
=====================================
@@ -353,7 +353,6 @@ module Language.Haskell.TH where
   type Pred = Type
   type PredQ :: *
   type PredQ = Q Pred
-  type role Q nominal
   type Q :: * -> *
   newtype Q a = ...
   type Quote :: (* -> *) -> Constraint
@@ -1700,11 +1699,11 @@ module Language.Haskell.TH.Syntax where
   data Pragma = InlineP Name Inline RuleMatch Phases | OpaqueP Name | SpecialiseEP (GHC.Internal.Maybe.Maybe [TyVarBndr ()]) [RuleBndr] Exp (GHC.Internal.Maybe.Maybe Inline) Phases | SpecialiseInstP Type | RuleP GHC.Internal.Base.String (GHC.Internal.Maybe.Maybe [TyVarBndr ()]) [RuleBndr] Exp Exp Phases | AnnP AnnTarget Exp | LineP GHC.Internal.Types.Int GHC.Internal.Base.String | CompleteP [Name] (GHC.Internal.Maybe.Maybe Name) | SCCP Name (GHC.Internal.Maybe.Maybe GHC.Internal.Base.String)
   type Pred :: *
   type Pred = Type
-  type role Q nominal
   type Q :: * -> *
-  newtype Q a = Q {unQ :: forall (m :: * -> *). Quasi m => m a}
+  newtype Q a = ...
   type Quasi :: (* -> *) -> Constraint
   class (GHC.Internal.Control.Monad.IO.Class.MonadIO m, GHC.Internal.Control.Monad.Fail.MonadFail m) => Quasi m where
+    qRunQ :: forall a. Q a -> m a
     qNewName :: GHC.Internal.Base.String -> m Name
     qReport :: GHC.Internal.Types.Bool -> GHC.Internal.Base.String -> m ()
     qRecover :: forall a. m a -> m a -> m a
@@ -1733,7 +1732,7 @@ module Language.Haskell.TH.Syntax where
     qExtsEnabled :: m [Extension]
     qPutDoc :: DocLoc -> GHC.Internal.Base.String -> m ()
     qGetDoc :: DocLoc -> m (GHC.Internal.Maybe.Maybe GHC.Internal.Base.String)
-    {-# MINIMAL qNewName, qReport, qRecover, qLookupName, qReify, qReifyFixity, qReifyType, qReifyInstances, qReifyRoles, qReifyAnnotations, qReifyModule, qReifyConStrictness, qLocation, qGetPackageRoot, qAddDependentFile, qAddDependentDirectory, qAddTempFile, qAddTopDecls, qAddForeignFilePath, qAddModFinalizer, qAddCorePlugin, qGetQ, qPutQ, qIsExtEnabled, qExtsEnabled, qPutDoc, qGetDoc #-}
+    {-# MINIMAL qRunQ, qNewName, qReport, qRecover, qLookupName, qReify, qReifyFixity, qReifyType, qReifyInstances, qReifyRoles, qReifyAnnotations, qReifyModule, qReifyConStrictness, qLocation, qGetPackageRoot, qAddDependentFile, qAddDependentDirectory, qAddTempFile, qAddTopDecls, qAddForeignFilePath, qAddModFinalizer, qAddCorePlugin, qGetQ, qPutQ, qIsExtEnabled, qExtsEnabled, qPutDoc, qGetDoc #-}
   type Quote :: (* -> *) -> Constraint
   class GHC.Internal.Base.Monad m => Quote m where
     newName :: GHC.Internal.Base.String -> m Name
@@ -1881,6 +1880,7 @@ module Language.Haskell.TH.Syntax where
   trueName :: Name
   tupleDataName :: GHC.Internal.Types.Int -> Name
   tupleTypeName :: GHC.Internal.Types.Int -> Name
+  unQ :: forall a. Q a -> forall (m :: * -> *). Quasi m => m a
   unTypeCode :: forall (r :: GHC.Internal.Types.RuntimeRep) (a :: TYPE r) (m :: * -> *). Quote m => Code m a -> m Exp
   unTypeQ :: forall (r :: GHC.Internal.Types.RuntimeRep) (a :: TYPE r) (m :: * -> *). Quote m => m (TExp a) -> m Exp
   unboxedSumDataName :: SumAlt -> SumArity -> Name



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/26787f8e6ec0f8cd96cabe87c28b1d34...

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/26787f8e6ec0f8cd96cabe87c28b1d34...
You're receiving this email because of your account on gitlab.haskell.org.

    

Teo Camarasu (＠teo)

tags

participants (1)