UCSD-PL / refscript

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

Expanding TS optional arguments into overloads. #64

Closed panagosg7 closed 10 years ago

panagosg7 commented 10 years ago

see tests/pos/fb/vararg-03.ts

ranjitjhala commented 10 years ago

thanks!