summaryrefslogtreecommitdiff
path: root/test/c/letbind.sail
blob: 2e009e18e67114ad4675b8bc81d33263e7bc3825 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
let x : range(0, 255) = 42

let (y, z) = (20, 300000000000000000000000)

let (size as atom('size)) : {|32, 64|} = 32

val print = "print_endline" : string -> unit
val print_int = "print_int" : (string, int) -> unit

val main : unit -> unit

function main () = {
  print_int("x = ", x);
  print_int("y = ", y);
  print_int("z = ", z);
  print_int("size = ", size);
}