oonta 0.3.1

OCaml (subset) to LLVM IR compiler front-end
Documentation 
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

type int_list =
  | Empty
  | Cat of (int * int_list)

let print_bool b =
  if b then
    print_int 1
  else
    print_int 0

let a = (1, (2, 4))
let b = (1, (1, 4))
let () = print_bool (a > b)
let () = print_bool (a >= b)
let () = print_bool (a < b)
let () = print_bool (a <= b)
let () = print_bool (a > a)
let () = print_bool (a >= a)
let () = print_bool (a < a)
let () = print_bool (a <= a)
let () = print_bool (a = a)
let a = Cat (1, Cat (3, Empty))
let b = Cat (1, Cat (2, Cat (3, Empty)))
let c = Cat (1, Cat (2, Empty))
let () = print_bool (a > b)
let () = print_bool (a >= b)
let () = print_bool (a < b)
let () = print_bool (a <= b)
let () = print_bool (b > c)
let () = print_bool (b >= c)
let () = print_bool (b < c)
let () = print_bool (b <= c)
let () = print_bool (a > a)
let () = print_bool (a >= a)
let () = print_bool (a < a)
let () = print_bool (a <= a)
let () = print_bool (a = a)