mita
mita copied to clipboard
Unraveling can be tamed
The following code doesn't need unraveling, but is unraveled:
package foo;
import platforms.xdk110;
fn test(): int32 {
return 1;
}
fn asdf() {
var x = 0;
x = test();
}
In general, only function calls that have references that are not refering a variable declaration might need to be unraveled.