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
|
default Order dec
$include <prelude.sail>
$include <dec_bits.sail>
function main() -> unit = {
match dec_bits_1("1") {
0b1 => print_endline("ok"),
_ => print_endline("fail"),
};
match dec_bits_1(0b1) {
"1" => print_endline("ok"),
_ => print_endline("fail"),
};
match dec_bits_8("255") {
0b1111_1111 => print_endline("ok"),
_ => print_endline("fail"),
};
match dec_bits_8(0b1111_1111) {
"255" => print_endline("ok"),
s => print_endline(s),
};
match dec_bits_8(0b1101_0000) {
"208" => print_endline("ok"),
s => print_endline("fail"),
};
match dec_bits_8("208") {
0b1101_0000 => print_endline("ok"),
s => print_endline("fail"),
};
}
|