blob: c752cb33c1b34164996fc042315bd7f876e19751 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
default Order dec
$include <prelude.sail>
val "print_endline" : string -> unit
union U('a: Type) = {
Err : 'a,
Ok : bits(16)
}
function main((): unit) -> unit = {
let x : U(unit) = Ok(0xFFFF);
match x {
Err() => print_endline("error"),
Ok(y) => print_bits("y = ", y)
}
}
|
