gistfile1.txt

#[non_copyable]
enum one_shot<A,T> = fn~(A) -> T;

fn execute(-f: one_shot<A>, a: A) -> T { (*f)(a) }

fn mk_one_shot_adder(-v1: ~int) -> one_shot<int,int> {
    let v1 = ~some(move v1); // this "move" is not yet legal syntax
    ret one_shot(fn~[move v1](v2: int) -> int {
        let x = none;
        x <-> v1;
        ret *option::get(x) + v2;
    });
}