UCSD-PL/refscript

ssa

Opened this issue · 1 comments

panagosg7 commented

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.