src/test/test2.sail


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

function nat id ( n ) = n

function unit f() = {
 (if( true ) then 
   a := 3
  else 
   a := 4
 );
 b := a;
}

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