Toxaris / pts

Interpreter for functional pure type systems.
BSD 3-Clause "New" or "Revised" License
21 stars 7 forks source link

Speed up variable freshening #90

Closed Blaisorblade closed 9 years ago

Blaisorblade commented 9 years ago

The performance difference is hard to see and codebase-depending, but this is the slightly-less-stupid code for freshening which does the obvious fix. In particular, freshening takes bounded time (a Map lookup) instead of an unbounded loop.

So I'm reluctant to throw away the refactoring.