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
|
default Order dec
$sail_internal
$include <flow.sail>
$[sv_module { stdout = true }]
val print_endline = "print_endline" : string -> unit
union ast = {
HCF : unit
}
union option ('a : Type) = {
Some : 'a,
None : unit
}
val decode : unit -> option(ast)
function decode() = Some(HCF())
val main : unit -> unit
function main() = {
let instr = decode();
match instr {
Some(HCF()) => print_endline("HCF"),
Some(_) => print_endline("Some(_)"),
None() => print_endline("None")
}
}
|
