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 advanced object operations? #83

Open BenjaminCosman opened 10 years ago

BenjaminCosman commented 10 years ago

See:

https://github.com/UCSD-PL/RefScript/blob/master/tests/todo/string-accessor.ts

ranjitjhala commented 10 years ago

We're definitely not going to support this directly anytime soon; best to modify eg by inlining the result of extend at the call site?

On Nov 19, 2014, at 5:07 PM, bmcfluff notifications@github.com wrote:

See:

https://github.com/UCSD-PL/RefScript/blob/string-accessor/tests/pos/misc/string-accessor.ts

— Reply to this email directly or view it on GitHub.