@@ -1,3 +1,4 @@
1+{-# OPTIONS_GHC -Wall #-}
12module Type.Solve (solve) where
23
34import Control.Monad
@@ -178,7 +179,7 @@ actuallySolve constraint =
178179
179180 CLet [Scheme [] fqs constraint' _] CTrue ->
180181 do oldEnv <- TS.getEnv
181− mapM TS.introduce fqs
182+ mapM_ TS.introduce fqs
182183 actuallySolve constraint'
183184 TS.modifyEnv (\_ -> oldEnv)
184185
@@ -187,7 +188,7 @@ actuallySolve constraint =
187188 headers <- Map.unions <$> mapM solveScheme schemes
188189 TS.modifyEnv $ \env -> Map.union headers env
189190 actuallySolve constraint'
190− mapM occurs $ Map.toList headers
191+ mapM_ occurs $ Map.toList headers
191192 TS.modifyEnv (\_ -> oldEnv)
192193
193194 CInstance region name term ->
@@ -226,14 +227,14 @@ solveScheme scheme =
226227 -- fill in a new pool when working on this scheme's constraints
227228 freshPool <- TS.nextRankPool
228229 TS.switchToPool freshPool
229− mapM TS.introduce quantifiers
230+ mapM_ TS.introduce quantifiers
230231 header' <- T.traverse flatten header
231232 actuallySolve constraint
232233
233234 youngPool <- TS.getPool
234235 TS.switchToPool oldPool
235236 generalize youngPool
236− mapM isGeneric rigidQuantifiers
237+ mapM_ isGeneric rigidQuantifiers
237238 return header'
238239
239240