search

UCSD-PL / refscript

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

Enumerations #55

Closed panagosg7 closed 10 years ago

panagosg7 commented 10 years ago

https://github.com/UCSD-PL/RefScript/blob/enumerations/tests/pos/objects/enum-00.ts https://github.com/UCSD-PL/RefScript/blob/enumerations/tests/pos/objects/enum-01.ts

https://github.com/UCSD-PL/RefScript/blob/enumerations/tests/neg/objects/enum-00.ts https://github.com/UCSD-PL/RefScript/blob/enumerations/tests/neg/objects/enum-01.ts

ranjitjhala commented 10 years ago

So shall we close this issue then?

panagosg7 commented 10 years ago

Addressed by #57