Updated type inference to not re-type-check the bodies and types of globals#1416

Merged

brianhuffman merged 2 commits intomasterfrom bugfix-global-infer-performance

Aug 21, 2021

+17-2

Commits on Aug 11, 2021

updated typeInfer to not re-type-check the bodies and types of globals and primitives when it encounters them; also updated globalOpenTerm to not re-type-check the bodies and types of globals when …
Eddy Westbrook
committed

Commits on Aug 20, 2021

Merge branch 'master' into bugfix-global-infer-performance
brianhuffman
authored