UCSD-PL / refscript

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

ssa #144

Open BenjaminCosman opened 8 years ago

BenjaminCosman commented 8 years ago

See:

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

panagosg7 commented 8 years ago

This one is fixed by annotating merged as such:

let merged: MArray<number> = new Array<number>(j);

But keeping open to get a better error message.