UCSD-PL/nano-js — pull request #28 by ranjitjhala (2014-01-04 20:32:56+00:00)
Title: Whilefix

Sigh. Have to add explicit subtyping for inductive/step variables for WHILE loops. Otherwise, cannot get proper correlated relationships between phi-vars. Thank god for:

tests/liquid/pos/loops/while-04.js