blob: 551fb7d317dc938b6d1b632963708c3e2b3ceaab (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// -*- rust -*-
type point = rec(int x, int y, mutable int z);
impure fn f(& mutable point p) {
p.z = 13;
}
impure fn main() {
let point x = rec(x=10, y=11, mutable z=12);
f(x);
check (x.z == 13);
}
|