src/test/test2.sail


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

default Order dec

function nat id ( n ) = n

register (bit[5]) c

function unit f() = {
 (if( true ) then 
   a := (nat) (3 + 0b01) mod 4
  else 
   a := 4
 );
 a:= (nat) 0b010101;
 a:= (nat) (0b0101010 + 0b0101000);
 c := (bit[5]) (3 + 0b00101) mod 3;
 if c[1] then c:= 31 else c:= 0;
 b := a;
}

function nat effect pure main _ = {
  f();
  id(42);
}