search

UCSD-PL / refscript

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

Fix binder-capture bugs #107

Closed panagosg7 closed 9 years ago

panagosg7 commented 9 years ago

Addresses bugs where function argument types contain references in their refinements with the same name as the function's formal binders.

Addresses also #105