summaryrefslogtreecommitdiff
path: root/test/ocaml/loop/loop.sail
blob: ee77f79a086443c097bdbec360ccbdc6265a812a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
val string_of_int = "string_of_int" : int -> string

val add = "add" : (int, int) -> int

val lt = "lt_int" : (int, int) -> bool

overload operator + = {add}

overload operator < = {lt}

val main : unit -> unit

function main () = {
  x : int = 0;
  while x < 100 do {
    x = x + 1;
    print(string_of_int(x))
  }
}