search

UCSD-PL / refscript

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

Add support for names beginning in _ #49

Closed BenjaminCosman closed 9 years ago

BenjaminCosman commented 10 years ago

See:

https://github.com/UCSD-PL/RefScript/blob/underscore-var/tests/pos/misc/underscore-00.ts

Note that in other contexts _ seems to work fine:

https://github.com/UCSD-PL/RefScript/blob/underscore-var/tests/pos/misc/underscore-01.ts

panagosg7 commented 10 years ago

Addressed by #67

BenjaminCosman commented 9 years ago

See https://github.com/UCSD-PL/RefScript/blob/master/tests/todo/underscore-02.ts

panagosg7 commented 9 years ago

Fixed by

https://github.com/UCSD-PL/RefScript/commit/9f4a2ff05864e621850e8f380c1727e670d68578

Closing again