on master help sign in
Have fewer initial pool slots
826b7ffEvan Czaplicki
src/Type/Solve.hs+1−1
@@ -29,7 +29,7 @@ import qualified Type.UnionFind as UF
29
29
30run :: Constraint -> IO (Either [Error.Error] (Map.Map N.Name Can.Annotation))
30run :: Constraint -> IO (Either [Error.Error] (Map.Map N.Name Can.Annotation))
31run constraint =
31run constraint =
32− do pools <- MVector.replicate 16 []
32+ do pools <- MVector.replicate 8 []
33
33
34 (State env _ errors) <-
34 (State env _ errors) <-
35 solve Map.empty outermostRank pools emptyState constraint
35 solve Map.empty outermostRank pools emptyState constraint