diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-08-01 07:19:55 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-08-01 07:19:55 -0400 |
| commit | 7a433d177871538c87f61d1022d1112e6c2e3753 (patch) | |
| tree | 93b6ca704244ecb74f0957da43dc5f3fd116ddcf | |
| parent | f28c74897977b6b84957d369fa1d253135a640dc (diff) | |
| download | haskell-wip/strict-ioenv.tar.gz | |
Strictify everything but useVarswip/strict-ioenv
| -rw-r--r-- | compiler/typecheck/TcSMonad.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/typecheck/TcSMonad.hs b/compiler/typecheck/TcSMonad.hs index 6f4281e500..a5123b6fc3 100644 --- a/compiler/typecheck/TcSMonad.hs +++ b/compiler/typecheck/TcSMonad.hs @@ -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 @@ -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 () |