From 7a433d177871538c87f61d1022d1112e6c2e3753 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Thu, 1 Aug 2019 07:19:55 -0400 Subject: Strictify everything but useVars --- compiler/typecheck/TcSMonad.hs | 4 ++-- 1 file 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 () -- cgit v1.2.1