ranking and path compression

asm-js / validator

A reference validator for asm.js.

Apache License 2.0

1.78k stars 148 forks source link

Closed dherman closed 11 years ago

dherman commented 11 years ago

Do ranking and path compression for tvar unificaton (see Issue #27) to keep resolve-chains down to inverse-Ackermann.

dherman commented 11 years ago

irrelevant now that we're not doing unification