search

UCSD-PL / refscript

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

Arbitrary tags #58

Closed panagosg7 closed 10 years ago

panagosg7 commented 10 years ago

Addressing #56 by implementing https://github.com/UCSD-PL/RefScript/issues/56#issuecomment-58358272

The DotRef operation is still done "programmatically", i.e. not using a getProp signature in prelude.ts, due to issues with subtyping unions.

The keyVal predicate is added whenever the accessed field is immutable.

ranjitjhala commented 10 years ago

Wow this is AWESOME --- thanks!!!!