search

UCSD-PL / refscript

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

Contextual #16

Closed panagosg7 closed 10 years ago

panagosg7 commented 10 years ago

Very limited support at the moment: only when updating object fields with anonymous function expressions.

See https://github.com/UCSD-PL/RefScript/blob/contextual/tests/pos/simple/contextual.ts

The type inferred by tsc for function expressions is ignored.

One can still use explicit type annotation on the function expression as before (using: "").

ranjitjhala commented 10 years ago

Thanks!