Actually pop the pool before solving content
This is really important for making sure there’s not a bunch of
pointless garbage kept around! Just a typo.
commit466a5b53806876ab439467c558e5d852e83c31b1
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateFri 12 Jan 2018, 16:13 (9 years ago)
parent1966810
src/Type/Solve.hs+1−1
@@ -203,7 +203,7 @@ solve env rank pools state constraint =
203203
204204 let newEnv = Map.union env (Map.map A.toValue locals)
205205 let tempState = State savedEnv finalMark errors
206− newState <- solve newEnv nextRank nextPools tempState subCon
206+ newState <- solve newEnv rank nextPools tempState subCon
207207
208208 foldM occurs newState (Map.toList locals)
209209