@@ -29,7 +29,7 @@ import qualified Type.UnionFind as UF
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 []
34 (State env _ errors) <-
34 (State env _ errors) <-
35 solve Map.empty outermostRank pools emptyState constraint
35 solve Map.empty outermostRank pools emptyState constraint