Fixes on function overloads and object types

UCSD-PL / refscript

Refinement Types for Scripting Languages

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

65 stars 3 forks source link

Closed panagosg7 closed 10 years ago

panagosg7 commented 10 years ago

Using Map instead of [TypeMembers] for object types (speedup)
Better support for function overloads -- see https://github.com/UCSD-PL/RefScript/blob/fix_tsc/tests/pos/simple/overload-01.ts