| { This tests that names are passed properly to dyadic operators. } | |
| begin mode Foo = struct (int i,j); | |
| Foo f; | |
| i'f := 10; | |
| j'f := 20; | |
| op +=: = (int i, ref Foo f) int: (i'f +:= i; j'f +:= i; i + 1); | |
| assert ((1 +=: f) = 2); | |
| assert (i'f = 11); | |
| assert (j'f = 21) | |
| end |