diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2021-05-16 21:22:39 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-05-21 15:06:20 -0400 |
| commit | 5ab174e4fa12740aecdcfe06ffb4ca16724a4bae (patch) | |
| tree | f4ea8a871d380e12833bef4e98d59b9da0f02f8b /compiler/GHC/ThToHs.hs | |
| parent | 0da85d41ee6bc7f941cdbee8cebd5b57fa35396f (diff) | |
| download | haskell-5ab174e4fa12740aecdcfe06ffb4ca16724a4bae.tar.gz | |
Remove Maybe from Context in HsQualTy
Updates haddock submodule
Closes #19845
Diffstat (limited to 'compiler/GHC/ThToHs.hs')
| -rw-r--r-- | compiler/GHC/ThToHs.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/GHC/ThToHs.hs b/compiler/GHC/ThToHs.hs index f8efa8f28d..fa558f41ae 100644 --- a/compiler/GHC/ThToHs.hs +++ b/compiler/GHC/ThToHs.hs @@ -1816,7 +1816,7 @@ cvtPatSynSigTy (ForallT univs reqs (ForallT exis provs ty)) ; let l = noAnnSrcSpan l' ; ty' <- cvtType (ForallT exis provs ty) ; return $ L l $ mkHsImplicitSigType - $ L l (HsQualTy { hst_ctxt = Nothing + $ L l (HsQualTy { hst_ctxt = noLocA [] , hst_xqual = noExtField , hst_body = ty' }) } | null reqs = do { l' <- getL @@ -1824,7 +1824,7 @@ cvtPatSynSigTy (ForallT univs reqs (ForallT exis provs ty)) ; univs' <- cvtTvs univs ; ty' <- cvtType (ForallT exis provs ty) ; let forTy = mkHsExplicitSigType noAnn univs' $ L l'' cxtTy - cxtTy = HsQualTy { hst_ctxt = Nothing + cxtTy = HsQualTy { hst_ctxt = noLocA [] , hst_xqual = noExtField , hst_body = ty' } ; return $ L (noAnnSrcSpan l') forTy } @@ -1910,7 +1910,7 @@ mkHsQualTy :: TH.Cxt mkHsQualTy ctxt loc ctxt' ty | null ctxt = ty | otherwise = L loc $ HsQualTy { hst_xqual = noExtField - , hst_ctxt = Just ctxt' + , hst_ctxt = ctxt' , hst_body = ty } mkHsOuterFamEqnTyVarBndrs :: Maybe [LHsTyVarBndr () GhcPs] -> HsOuterFamEqnTyVarBndrs GhcPs |