test/ocaml/hello_world/hello_world.sail


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

val hello_world : unit -> string

function hello_world () = {
  return("Hello, World!");
  "Unreachable"
}

val main : unit -> unit effect {wreg, rreg}

register REG : string

function main () = {
  REG = "Hello, Sail!";
  print(REG);
  REG = hello_world();
  print(REG);
  return(())
}