julia
683e8c84
- Don't keep the `roots` array around
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
1 year ago
Don't keep the `roots` array around We don't need to keep this around, because we can just weaken our `jl_is_globally_rooted` predicate slightly instead and allow our natural gvar pruning to do the heavy lifting.
Author
topolarity
Committer
topolarity
Parents
46b1c254
Loading