blob: 093f7f1e4ec5c5fac4be6f1d407ae40781c0355b (
plain)
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
|
open Lib;;
let x = 5 in
let y = 4 in
let z = 3 in
let f _ = z + y + x in
if f 0 <> 12 then raise Not_found
;;
(**
0 CONSTINT 42
2 PUSHACC0
3 MAKEBLOCK1 0
5 POP 1
7 SETGLOBAL Lib
9 BRANCH 18
11 ENVACC1
12 PUSHENVACC2
13 PUSHENVACC3
14 ADDINT
15 ADDINT
16 RETURN 1
18 CONSTINT 5
20 PUSHCONSTINT 4
22 PUSHCONST3
23 PUSHACC0
24 PUSHACC2
25 PUSHACC4
26 CLOSURE 3, 11
29 PUSHCONSTINT 12
31 PUSHCONST0
32 PUSHACC2
33 APPLY1
34 NEQ
35 BRANCHIFNOT 42
37 GETGLOBAL Not_found
39 MAKEBLOCK1 0
41 RAISE
42 POP 4
44 ATOM0
45 SETGLOBAL T172-pushenvacc3
47 STOP
**)
|
