git.iko.soy/elk
on master help sign in
Actually pop the pool before solving content
466a5b5Evan Czaplicki
src/Type/Solve.hs+1−1
compare with master
unifiedsplit
@@ -203,7 +203,7 @@ solve env rank pools state constraint =
203
203
204 let newEnv = Map.union env (Map.map A.toValue locals)
204 let newEnv = Map.union env (Map.map A.toValue locals)
205 let tempState = State savedEnv finalMark errors
205 let tempState = State savedEnv finalMark errors
206− newState <- solve newEnv nextRank nextPools tempState subCon
206+ newState <- solve newEnv rank nextPools tempState subCon
207
207
208 foldM occurs newState (Map.toList locals)
208 foldM occurs newState (Map.toList locals)
209
209