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
|
default Order dec
$include <prelude.sail>
$option -string_literal_type
val test : string_literal -> unit
function test(s) = print_endline(s)
val main : unit -> unit
function main() = {
let x : string_literal = "foo";
var y : string_literal = "bar";
let z = "baz";
y = x;
print_endline(y);
test(y);
y = z;
print_endline(y);
test(y);
match x {
"foo" => print_endline("ok"),
_ => print_endline("fail"),
};
match y {
"baz" => print_endline("ok"),
_ => print_endline("fail"),
};
match concat_str(x, z) {
"foobaz" => print_endline("ok"),
_ => print_endline("fail"),
}
}
|
