search

UCSD-PL / refscript

Refinement Types for Scripting Languages
BSD 3-Clause "New" or "Revised" License
65 stars 3 forks source link

Variable named "v" #105

Closed BenjaminCosman closed 8 years ago

BenjaminCosman commented 9 years ago

See:

https://github.com/UCSD-PL/RefScript/blob/master/tests/todo/v-name.ts

Easy workaround: don't name things "v".

BenjaminCosman commented 9 years ago

See:

https://github.com/UCSD-PL/RefScript/blob/master/tests/todo/v-name-01.ts

panagosg7 commented 8 years ago

Seems to be working at 15ccd4ff8fc4d6447eb842bf6d5f1b283a74decf