for(BranchRef branch : sw.getBranches()) {
if(branch.constructor == function) {
sw.destroy();
- setExit(new Jump(branch.cont.getBinding().createOccurrence(),
+ setExit(new Jump(sw.lineNumber, branch.cont.getBinding().createOccurrence(),
ValRef.copy(apply.getParameters())));
return true;
}
* [a]
*/
sw.destroy();
- setExit(new Jump(branch.cont.getBinding().createOccurrence()));
+ setExit(new Jump(sw.lineNumber, branch.cont.getBinding().createOccurrence()));
}
}
}