diff options
| author | Ross Paterson <R.Paterson@city.ac.uk> | 2022-12-02 20:27:23 +0000 |
|---|---|---|
| committer | Ross Paterson <R.Paterson@city.ac.uk> | 2022-12-03 10:32:45 +0000 |
| commit | 4251226448f34403b07822f3017845c4855f4dea (patch) | |
| tree | 04bd631300945a5f7a3477a93fee58f2140d3a20 /compiler/GHC/Tc/Gen | |
| parent | c189b831c74a550ddb3b94cf9b9f8922856b6990 (diff) | |
| download | haskell-4251226448f34403b07822f3017845c4855f4dea.tar.gz | |
Handle type data declarations in Template Haskell quotations and splices (fixes #22500)
This adds a TypeDataD constructor to the Template Haskell Dec type,
and ensures that the constructors it contains go in the TyCls namespace.
Diffstat (limited to 'compiler/GHC/Tc/Gen')
| -rw-r--r-- | compiler/GHC/Tc/Gen/Splice.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Gen/Splice.hs b/compiler/GHC/Tc/Gen/Splice.hs index cde7c305c1..6ba304be16 100644 --- a/compiler/GHC/Tc/Gen/Splice.hs +++ b/compiler/GHC/Tc/Gen/Splice.hs @@ -2681,7 +2681,7 @@ reify_tc_app tc tys | tc `hasKey` heqTyConKey = TH.EqualityT | tc `hasKey` eqPrimTyConKey = TH.EqualityT | tc `hasKey` eqReprPrimTyConKey = TH.ConT (reifyName coercibleTyCon) - | isPromotedDataCon tc = TH.PromotedT (reifyName tc) + | isDataKindsPromotedDataCon tc = TH.PromotedT (reifyName tc) | otherwise = TH.ConT (reifyName tc) -- See Note [When does a tycon application need an explicit kind |