blob: ba002b20b1bde9d324b94b99fd7bd01b96896770 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
open Lib;;
type t = { a : float; b : float };;
if { a = 0.1; b = 0.2 }.a <> 0.1 then raise Not_found;;
(**
0 CONSTINT 42
2 PUSHACC0
3 MAKEBLOCK1 0
5 POP 1
7 SETGLOBAL Lib
9 GETGLOBAL 0.1
11 PUSHGETGLOBAL [|0.1, 0.2|]
13 GETFLOATFIELD 0
15 C_CALL2 neq_float
17 BRANCHIFNOT 24
19 GETGLOBAL Not_found
21 MAKEBLOCK1 0
23 RAISE
24 ATOM0
25 SETGLOBAL T192-getfloatfield-1
27 STOP
**)
|
