1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
open Expr01
let optimize : expr -> expr =
let o = object(self)
inherit [_] map
method! visit_EAdd env e1 e2 =
match self#visit_expr env e1, self#visit_expr env e2 with
| EConst 0, e
| e, EConst 0 -> e
| e1, e2 -> EAdd (e1, e2)
end in
o # visit_expr ()
let z e = EAdd (e, EConst 0)
let () =
assert (optimize (z (EConst 1)) = EConst 1);
assert (optimize (z (z (EConst 1))) = EConst 1);
assert (optimize (EAdd (EConst 1, EConst 1)) = EAdd (EConst 1, EConst 1));
assert (optimize (EAdd (z (EConst 1), EConst 1)) = EAdd (EConst 1, EConst 1));
|
