18 lines
370 B
Rust
18 lines
370 B
Rust
// -*- rust -*-
|
|
|
|
// rustboot can't transmit nils across channels because they don't have
|
|
// any size, but rustc currently can because they do have size. Whether
|
|
// or not this is desirable I don't know, but here's a regression test.
|
|
|
|
impure fn main() {
|
|
let port[()] po = port();
|
|
let chan[()] ch = chan(po);
|
|
|
|
ch <| ();
|
|
|
|
let () n;
|
|
n <- po;
|
|
|
|
check (n == ());
|
|
}
|