Annotated the move Rain testcase with the expected results
This commit is contained in:
parent
a7944ddf9f
commit
46ef8e7e65
|
@ -8,19 +8,19 @@ process foo (?[int]: in, ![int]: out)
|
||||||
{
|
{
|
||||||
in ? xs;
|
in ? xs;
|
||||||
in ? ys;
|
in ? ys;
|
||||||
out ! xs;
|
out ! xs; ### Copy
|
||||||
out ! ys;
|
out ! ys; ### Move
|
||||||
ys = [];
|
ys = [];
|
||||||
seqeach (i : xs)
|
seqeach (i : xs)
|
||||||
{
|
{
|
||||||
ys = ys ++ [i + 5];
|
ys = ys ++ [i + 5]; ### Move (ys)
|
||||||
}
|
}
|
||||||
out ! xs;
|
out ! xs; ### Copy
|
||||||
out ! ys;
|
out ! ys; ### Move
|
||||||
}
|
}
|
||||||
out ! xs;
|
out ! xs; ### Copy
|
||||||
ys = xs;
|
ys = xs; ### Move
|
||||||
out ! ys;
|
out ! ys; ### Move
|
||||||
}
|
}
|
||||||
|
|
||||||
process main (?uint8: in, ![uint8]: out, ![uint8]: err)
|
process main (?uint8: in, ![uint8]: out, ![uint8]: err)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user