Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This is a very minor performance win, a few percent in my benchmarking. typing_1.ml went from 3.013M to 2.996M instructions (0.6% reduction). slow_1.rs went from 2.153M to 2.046M instructions (5% reduction). Fixes Wilfred#728
- Loading branch information