diff options
author | Alan Zimmerman <alan.zimm@gmail.com> | 2020-09-27 22:26:08 +0100 |
---|---|---|
committer | Alan Zimmerman <alan.zimm@gmail.com> | 2020-09-27 22:26:08 +0100 |
commit | 53be968726a249d66fbc2ebd3dd0ff090a04b619 (patch) | |
tree | 71bd8d98483e0c0891eb9ae264d2bda836add44f /compiler/GHC/Tc/Gen/Arrow.hs | |
parent | a9ce159ba58ca7e8946b46e19b1361588b677a26 (diff) | |
download | haskell-53be968726a249d66fbc2ebd3dd0ff090a04b619.tar.gz |
Use id rather than pass for HsStmtContext and HsMatchContextwip/az/hsmatchcontext
The fundamental change is for FunRhs, where mc_fun goes from `LIdP p`
to `Located id`.
The rest are related administrative changes.
This is a precursor for the in-tree API annotations, !2418, #17638,
where it is required.
It makes the endless rebases simpler until it lands.
Diffstat (limited to 'compiler/GHC/Tc/Gen/Arrow.hs')
-rw-r--r-- | compiler/GHC/Tc/Gen/Arrow.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Gen/Arrow.hs b/compiler/GHC/Tc/Gen/Arrow.hs index 82d405f0bb..57a136155a 100644 --- a/compiler/GHC/Tc/Gen/Arrow.hs +++ b/compiler/GHC/Tc/Gen/Arrow.hs @@ -32,6 +32,7 @@ import GHC.Tc.Types.Origin import GHC.Tc.Types.Evidence import GHC.Core.Multiplicity import GHC.Types.Id( mkLocalId ) +import GHC.Types.Name import GHC.Tc.Utils.Instantiate import GHC.Builtin.Types import GHC.Types.Var.Set @@ -270,7 +271,7 @@ tc_cmd env ; return (mkHsCmdWrap (mkWpCastN co) cmd') } where n_pats = length pats - match_ctxt = (LambdaExpr :: HsMatchContext GhcRn) -- Maybe KappaExpr? + match_ctxt = (LambdaExpr :: HsMatchContext Name) -- Maybe KappaExpr? pg_ctxt = PatGuard match_ctxt tc_grhss (GRHSs x grhss (L l binds)) stk_ty res_ty |