Have fewer initial pool slots
I believe it would require 8 levels of nested lets to use up all the
initial slots. The logic will add more if needed, but it seems pretty
unlikely.
commit826b7ff28ff93847bf38eeaa7087a373e351222a
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateFri 12 Jan 2018, 16:15 (9 years ago)
parent466a5b5
src/Type/Solve.hs+1−1
@@ -29,7 +29,7 @@ import qualified Type.UnionFind as UF
2929
3030run :: Constraint -> IO (Either [Error.Error] (Map.Map N.Name Can.Annotation))
3131run constraint =
32− do pools <- MVector.replicate 16 []
32+ do pools <- MVector.replicate 8 []
3333
3434 (State env _ errors) <-
3535 solve Map.empty outermostRank pools emptyState constraint