aboutsummaryrefslogtreecommitdiff
path: root/tests/programs/discard_m.zc
blob: 35e9f3bad9dd28c05fa2a0d55239a47bc142abbb (plain) (blame)
1
2
3
// m* on an unnamed u result lets the value be discarded; the plain call is an error
.u mk(int v) { let p = new(1); p[0] = v; return u*p; }
fn main() { m*mk(7); m*mk(8); put_n(7); put_c(10); return 0; }