search

UCSD-PL / refscript

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

Referencing mutable fields in refinements #100

Closed BenjaminCosman closed 9 years ago

BenjaminCosman commented 9 years ago

See:

https://github.com/UCSD-PL/RefScript/blob/master/tests/todo/immutable-field.ts

panagosg7 commented 9 years ago

@bmcfluff This should NOT work, right? Just the version with an Immutable 'size' field.

BenjaminCosman commented 9 years ago

This one could go either way; I think we decided that there's no reason why you should want to do this without labeling it Immutable so it's ok if we return UNSAFE. The reason this is an Issue is because right now it returns CRASH (FixConstraint.BadConstraint(_)).

BenjaminCosman commented 9 years ago

Addressed by #103