1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
default Order dec
$include <prelude.sail>
val some_tuple : unit -> (int, int, int)
function some_tuple() = {
print_endline("some_tuple");
(1,2,3)
}
val all_updated : unit -> int
function all_updated() = {
x : int = 0;
y : int = 0;
z : int = 0;
(x,y,z) = some_tuple();
x + y + z
}
val all_declared : unit -> int
function all_declared() = {
(x,y,z) = some_tuple();
x + y + z
}
/* Mixing updates and implicit declarations is not allowed
val bad_mixed : unit -> int
function bad_mixed() = {
x : int = 0;
z : int = 0;
(x,y,z) = some_tuple();
x + y + z
}
*/
|
