Fix funcsigs - Githubissues

UCSD-PL / refscript

Refinement Types for Scripting Languages

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

65 stars 3 forks source link

Fix funcsigs #53

Closed panagosg7 closed 10 years ago

panagosg7 commented 10 years ago

Addressing #42

tag(v) = 'function' is added to all function types
fixes with conditional expression