UCSD-PL / refscript

Refinement Types for Scripting Languages

BSD 3-Clause "New" or "Revised" License

65 stars 3 forks source link

Bug fixes #106

Closed panagosg7 closed 9 years ago

panagosg7 commented 9 years ago

Should address issues:

102 see https://github.com/UCSD-PL/RefScript/blob/bug-fixes/tests/neg/simple/bad-spec-00.ts

89 see https://github.com/UCSD-PL/RefScript/blob/bug-fixes/tests/neg/objects/width-sub.ts