search

UCSD-PL / refscript

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

Assume non-trivial refinements for exported functions #126

Closed panagosg7 closed 8 years ago

panagosg7 commented 9 years ago

See note in https://github.com/UCSD-PL/RefScript/pull/125

panagosg7 commented 8 years ago

This has been fixed in refactor_types.