2 files changed, 119 insertions, 0 deletions
diff --git a/test/ocaml/loop/expect b/test/ocaml/loop/expect
new file mode 100644
index 00000000..190423f8
--- /dev/null
+++ b/test/ocaml/loop/expect
@@ -0,0 +1,100 @@
+1
+2
+3
+4
+5
+6
+7
+8
+9
+10
+11
+12
+13
+14
+15
+16
+17
+18
+19
+20
+21
+22
+23
+24
+25
+26
+27
+28
+29
+30
+31
+32
+33
+34
+35
+36
+37
+38
+39
+40
+41
+42
+43
+44
+45
+46
+47
+48
+49
+50
+51
+52
+53
+54
+55
+56
+57
+58
+59
+60
+61
+62
+63
+64
+65
+66
+67
+68
+69
+70
+71
+72
+73
+74
+75
+76
+77
+78
+79
+80
+81
+82
+83
+84
+85
+86
+87
+88
+89
+90
+91
+92
+93
+94
+95
+96
+97
+98
+99
+100
diff --git a/test/ocaml/loop/loop.sail b/test/ocaml/loop/loop.sail
new file mode 100644
index 00000000..3808c19a
--- /dev/null
+++ b/test/ocaml/loop/loop.sail
@@ -0,0 +1,19 @@
+val string_of_int = "string_of_big_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))
+  }
+}