diff options
author | Alan Zimmerman <alan.zimm@gmail.com> | 2019-01-24 23:22:59 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-02-08 11:00:22 -0500 |
commit | be15f7457b98fa0378de7e8146c122757f03c4e9 (patch) | |
tree | d7648f9d4beca7b17d7b198192c0f675a26d972e /compiler/parser/RdrHsSyn.hs | |
parent | f17a5765075631b7057aba7c582ea72b28c42d9a (diff) | |
download | haskell-be15f7457b98fa0378de7e8146c122757f03c4e9.tar.gz |
API Annotations: more explicit foralls fixup
The AnnForall annotations introduced via Phab:D4894 are not always
attached to the correct SourceSpan.
Closes #16230
Diffstat (limited to 'compiler/parser/RdrHsSyn.hs')
-rw-r--r-- | compiler/parser/RdrHsSyn.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/parser/RdrHsSyn.hs b/compiler/parser/RdrHsSyn.hs index 6a756544d9..0766b04ada 100644 --- a/compiler/parser/RdrHsSyn.hs +++ b/compiler/parser/RdrHsSyn.hs @@ -263,13 +263,13 @@ mkTyFamInstEqn bndrs lhs rhs mkDataFamInst :: SrcSpan -> NewOrData -> Maybe (Located CType) - -> Located ( Maybe (LHsContext GhcPs), Maybe [LHsTyVarBndr GhcPs] - , LHsType GhcPs) + -> (Maybe ( LHsContext GhcPs), Maybe [LHsTyVarBndr GhcPs] + , LHsType GhcPs) -> Maybe (LHsKind GhcPs) -> [LConDecl GhcPs] -> HsDeriving GhcPs -> P (LInstDecl GhcPs) -mkDataFamInst loc new_or_data cType (dL->L _ (mcxt, bndrs, tycl_hdr)) +mkDataFamInst loc new_or_data cType (mcxt, bndrs, tycl_hdr) ksig data_cons maybe_deriv = do { (tc, tparams, fixity, ann) <- checkTyClHdr False tycl_hdr ; mapM_ (\a -> a loc) ann -- Add any API Annotations to the top SrcSpan |