Localize headers into the correct rank!
This was very tricky. All of the variables need to be allocated into
the latest rank, and this typo meant that most of the “structural”
variables accidentally got placed one level to low.
commit124870483bf8c0916d0afeb19df71b9659765120
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateMon 15 Jan 2018, 20:39 (9 years ago)
parent6140a9d
src/Type/Solve.hs+1−1
@@ -186,7 +186,7 @@ solve env rank pools state constraint =
186186 MVector.write nextPools nextRank vars
187187
188188 -- run solver in next pool
189− locals <- traverse (A.traverse (typeToVariable rank nextPools)) header
189+ locals <- traverse (A.traverse (typeToVariable nextRank nextPools)) header
190190 (State savedEnv mark errors) <-
191191 solve env nextRank nextPools state headerCon
192192