blob: 21484c6a78930f24a16a2cad247a41ca8c2df9cf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
default Order dec
val "print_bits" : forall 'n. (string, bitvector('n, dec)) -> unit
struct test = {
A : bitvector(4, dec),
B : bitvector(2, dec),
}
function main (() : unit) -> unit = {
x : test = struct { A = 0b1010, B = 0b11 };
x.A = 0b1000;
print_bits("x.A = ", x.A);
x.A = 0b1111;
print_bits("x.A = ", x.A);
print_bits("(struct {A = 0b1111, B = 0b11} : test).B = ", (struct {A = 0b1111, B = 0b11} : test).B);
}
|
