search

UCSD-PL / refscript

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

Support for "ForIn" statements #15

Closed panagosg7 closed 10 years ago

panagosg7 commented 10 years ago

Example:

https://github.com/UCSD-PL/RefScript/blob/forin/tests/pos/simple/forin-00.ts https://github.com/UCSD-PL/RefScript/blob/forin/tests/pos/simple/forin-01.ts

https://github.com/UCSD-PL/RefScript/blob/forin/tests/neg/simple/forin-00.ts https://github.com/UCSD-PL/RefScript/blob/forin/tests/neg/simple/forin-01.ts

ranjitjhala commented 10 years ago

Wow, does this work? If so, awesome!

panagosg7 commented 10 years ago

Nope, still a wanted feature.

ranjitjhala commented 10 years ago

Probably very common so should have high priority...

ranjitjhala commented 10 years ago

@panagosg7 are you actively working on this? If so I won't step on your toes. Else, I can see if I can push this ball along a little bit... Let me know!