summaryrefslogtreecommitdiff
path: root/test/c/for_shadow.sail
blob: 27095794e8d1cd76756f09c12129d23ab5da270d (plain)
1
2
3
4
5
6
7
8
9
val "print_int" : (string, int) -> unit

function main(() : unit) -> unit = {
  let i : int = undefined;
  foreach (i from 0 to 3) {
    print_int("i = ", i);
  }
}