Paste: rvalue subgraph assignment leak

Author: jc
Mode: text
Date: Sun, 9 Jan 2011 13:09:18
Plain Text |
record List(value:Int, next:UniqueValue[List]);

callbyname overload List(value:Int) = List(value, nullUniqueValue(List));
callbyname overload List(value:Int, next:List) = List(value, UniqueValue(next));

main() {
    var x = List(1, List(2, List(3)));
    x = move(x.next^.next^);
}

New Annotation

Summary:
Author:
Mode:
Body: