blob: 5ab0e817101ae5a885cfd4ad73243a76c3cf8d1c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
val extern int -> string effect pure string_of_int = "string_of_big_int"
val extern (int, int) -> int effect pure add = "add"
val extern (int, int) -> bool effect pure lt = "lt_int"
overload (deinfix +) [add]
overload (deinfix <) [lt]
val unit -> unit effect pure main
function main () = {
(int) x := 0;
while x < 100 do {
x := x + 1;
print(string_of_int(x))
}
}
|
