SSA bug - Githubissues

UCSD-PL / refscript

Refinement Types for Scripting Languages

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

65 stars 3 forks source link

SSA bug #138

Closed BenjaminCosman closed 8 years ago

BenjaminCosman commented 8 years ago

See:

https://github.com/UCSD-PL/refscript/blob/a121c074c3b5a2505d6b4c81c241a04e0262c42f/tests/todo/ssa-bug.ts

panagosg7 commented 8 years ago

Fixed by 73b68f4