diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-07-31 21:19:18 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-07-31 21:19:18 -0400 |
| commit | f28c74897977b6b84957d369fa1d253135a640dc (patch) | |
| tree | 3c878201aaf63bb087ed15ba4b04a8bafb26831c | |
| parent | ad16148b5943d6d9d936e8ea404a5965234d4ad3 (diff) | |
| download | haskell-f28c74897977b6b84957d369fa1d253135a640dc.tar.gz | |
Strictify everything but bumpStepCountTcS
| -rw-r--r-- | compiler/typecheck/TcSMonad.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/compiler/typecheck/TcSMonad.hs b/compiler/typecheck/TcSMonad.hs index 1477925de7..6f4281e500 100644 --- a/compiler/typecheck/TcSMonad.hs +++ b/compiler/typecheck/TcSMonad.hs @@ -1877,7 +1877,7 @@ updInertTcS :: (InertSet -> InertSet) -> TcS () updInertTcS upd_fn = do { is_var <- getTcSInertsRef ; wrapTcS (do { curr_inert <- TcM.readTcRef is_var - ; TcM.writeTcRef is_var (upd_fn curr_inert) }) } + ; TcM.writeTcRef' is_var (upd_fn curr_inert) }) } getInertCans :: TcS InertCans getInertCans = do { inerts <- getTcSInerts; return (inert_cans inerts) } @@ -1891,7 +1891,7 @@ updRetInertCans upd_fn = do { is_var <- getTcSInertsRef ; wrapTcS (do { inerts <- TcM.readTcRef is_var ; let (res, cans') = upd_fn (inert_cans inerts) - ; TcM.writeTcRef is_var (inerts { inert_cans = cans' }) + ; TcM.writeTcRef' is_var (inerts { inert_cans = cans' }) ; return res }) } updInertCans :: (InertCans -> InertCans) -> TcS () @@ -2666,7 +2666,7 @@ getGlobalRdrEnvTcS = wrapTcS TcM.getGlobalRdrEnv bumpStepCountTcS :: TcS () bumpStepCountTcS = TcS $ \env -> do { let ref = tcs_count env ; n <- TcM.readTcRef ref - ; TcM.writeTcRef' ref (n+1) } + ; TcM.writeTcRef ref (n+1) } csTraceTcS :: SDoc -> TcS () csTraceTcS doc @@ -2844,7 +2844,7 @@ nestTcS (TcS thing_inside) new_ic = inert_cans new_inerts nxt_ic = old_ic { inert_safehask = inert_safehask new_ic } - ; TcM.writeTcRef inerts_var -- See Note [Propagate the solved dictionaries] + ; TcM.writeTcRef' inerts_var -- See Note [Propagate the solved dictionaries] (inerts { inert_solved_dicts = inert_solved_dicts new_inerts , inert_cans = nxt_ic }) @@ -3337,7 +3337,7 @@ useVars co_vars ; wrapTcS $ do { tcvs <- TcM.readTcRef ref ; let tcvs' = tcvs `unionVarSet` co_vars - ; TcM.writeTcRef ref tcvs' } } + ; TcM.writeTcRef' ref tcvs' } } -- | Equalities only setWantedEq :: TcEvDest -> Coercion -> TcS () |