IVal[] parameters = newW.getParameters();
for(int j=0;j<parameters.length;++j)
decomposed.parameters[j].setVal(parameters[j]);
- newW.return_(decomposed.body.toVal(context, newW));
+ newW.return_(assignments[i].value.location, decomposed.body.toVal(context, newW));
}
return in.toVal(context, w);
}