diff options
| -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 () |