summaryrefslogtreecommitdiff
path: root/test/c/shadow_let.sail
blob: 18410c74bd03d9bdfe63258f4f68e886986f0d2b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
default Order dec

$include <prelude.sail>

val main : unit -> unit

function main() = {
  let x : int = 3;
  print_int("x = ", x);
  let x = x + 2;
  print_int("x = ", x);
  let x = x + 2;
  print_int("x = ", x)
}