git.iko.soy/elk
on master help sign in
Localize headers into the correct rank!
1248704Evan Czaplicki
src/Type/Solve.hs+1−1
compare with master
unifiedsplit
@@ -186,7 +186,7 @@ solve env rank pools state constraint =
186 MVector.write nextPools nextRank vars
186 MVector.write nextPools nextRank vars
187
187
188 -- run solver in next pool
188 -- run solver in next pool
189− locals <- traverse (A.traverse (typeToVariable rank nextPools)) header
189+ locals <- traverse (A.traverse (typeToVariable nextRank nextPools)) header
190 (State savedEnv mark errors) <-
190 (State savedEnv mark errors) <-
191 solve env nextRank nextPools state headerCon
191 solve env nextRank nextPools state headerCon
192
192