1 files changed, 19 insertions, 0 deletions
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))
+  }
+}