You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
20 lines
338 B
Plaintext
20 lines
338 B
Plaintext
type array = { tab : int^100; size : int }
|
|
|
|
fun f(a:array) returns (o:array)
|
|
let
|
|
o = { a with .size = 0 }
|
|
tel
|
|
|
|
node g(a:array) returns (o:array)
|
|
var v, u : int^100;
|
|
let
|
|
v = [ a.tab with [0] = 0 ];
|
|
u = [ v with [10] = 99 ];
|
|
o = { a with .tab = u }
|
|
tel
|
|
|
|
node main() returns (o:array)
|
|
let
|
|
o = f(g({ tab = 1^100; size = 3 }));
|
|
tel
|