search

UCSD-PL / refscript

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

Inference with unions #87

Closed BenjaminCosman closed 9 years ago

BenjaminCosman commented 9 years ago

See:

https://github.com/UCSD-PL/RefScript/blob/master/tests/todo/union-inference.ts

panagosg7 commented 9 years ago

Closing because the test fails (correctly) at this point.