diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2017-12-02 18:48:48 +0200 |
|---|---|---|
| committer | Alan Zimmerman <alan.zimm@gmail.com> | 2017-12-02 18:48:48 +0200 |
| commit | 9a86345be9987b9610068c38a5e430393a5f7a81 (patch) | |
| tree | 9c3fc871b24504a2a06ea39956c3972d5bc44eb6 /compiler/rename/RnSource.hs | |
| parent | cf80efddf36b57e9791090c6b366ce94bc443c69 (diff) | |
| download | haskell-wip/T14529.tar.gz | |
Make LHsQTyVars actually Located, and locate HsForAllTy.hst_bndrswip/T14529
So that AnnDot and AnnForAll can attach to the right places (API Annotations)
Diffstat (limited to 'compiler/rename/RnSource.hs')
| -rw-r--r-- | compiler/rename/RnSource.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/rename/RnSource.hs b/compiler/rename/RnSource.hs index 5b38f2879c..b3fb47307b 100644 --- a/compiler/rename/RnSource.hs +++ b/compiler/rename/RnSource.hs @@ -2025,7 +2025,7 @@ rnConDecl decl@(ConDeclH98 { con_name = name, con_ex_tvs = ex_tvs rnConDecl decl@(ConDeclGADT { con_names = names , con_forall = explicit_forall - , con_qvars = qtvs + , con_qvars = L ltvs qtvs , con_mb_cxt = mcxt , con_args = args , con_res_ty = res_ty @@ -2034,7 +2034,7 @@ rnConDecl decl@(ConDeclGADT { con_names = names ; new_names <- mapM lookupLocatedTopBndrRn names ; mb_doc' <- rnMbLHsDoc mb_doc - ; let explicit_tkvs = hsQTvExplicit qtvs + ; let explicit_tkvs = hsQTvExplicit (L ltvs qtvs) theta = hsConDeclTheta mcxt arg_tys = hsConDeclArgTys args ; free_tkvs <- extractHsTysRdrTyVarsDups (res_ty : theta ++ arg_tys) @@ -2065,7 +2065,7 @@ rnConDecl decl@(ConDeclGADT { con_names = names ; traceRn "rnConDecl2" (ppr names $$ ppr implicit_tkvs $$ ppr explicit_tkvs) ; return (decl { con_names = new_names - , con_qvars = new_qtvs, con_mb_cxt = new_cxt + , con_qvars = L ltvs new_qtvs, con_mb_cxt = new_cxt , con_args = args', con_res_ty = res_ty' , con_doc = mb_doc' }, all_fvs) } } |