Arguments out of scope bug - Githubissues

UCSD-PL / refscript

Refinement Types for Scripting Languages

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

65 stars 3 forks source link

Arguments out of scope bug #110

Closed BenjaminCosman closed 9 years ago

BenjaminCosman commented 9 years ago

See:

https://github.com/UCSD-PL/RefScript/blob/master/tests/todo/args-scope.ts

panagosg7 commented 9 years ago

Addressed by https://github.com/UCSD-PL/RefScript/commit/32900cd55dc71c5d7a03efd74cff7851f89958e7