src/test/run-pass/task-comm-15.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

// xfail-boot
// xfail-stage0
impure fn start(chan[int] c, int n) {
    let int i = n;

    while(i > 0) {
        c <| 0;
        i = i - 1;
    }
}

impure fn main() {
    let port[int] p = port();
    // Spawn a task that sends us back messages. The parent task
    // is likely to terminate before the child completes, so from
    // the child's point of view the receiver may die. We should
    // drop messages on the floor in this case, and not crash!
    auto child = spawn thread "child" start(chan(p), 10);
    auto c <- p;
}