File tree Expand file tree Collapse file tree 3 files changed +9
-3
lines changed Expand file tree Collapse file tree 3 files changed +9
-3
lines changed Original file line number Diff line number Diff line change @@ -142,7 +142,7 @@ let ns_sep = "-"
142
142
let exception_id = " RE_EXN_ID"
143
143
144
144
let polyvar_hash = " HASH"
145
- let polyvar_value = " value "
145
+ let polyvar_value = " VAL "
146
146
147
147
let cons = " ::"
148
148
let hd = " hd"
Original file line number Diff line number Diff line change @@ -75,7 +75,10 @@ let option_get (x : 'a option) =
75
75
else Obj. magic (valFromOption (Obj. repr x))
76
76
77
77
78
- type poly = {hash : int [@ bs.as "HASH" (* Literals.polyvar_hash*) ]; value : Obj .t }
78
+ type poly = {
79
+ hash : int [@ bs.as "HASH" (* Literals.polyvar_hash*) ];
80
+ value : Obj .t [@ bs.as "VAL" ]
81
+ }
79
82
80
83
(* * [input] is optional polymorphic variant *)
81
84
let option_unwrap (x : poly option ) =
Original file line number Diff line number Diff line change @@ -35,7 +35,10 @@ val some : Obj.t -> Obj.t
35
35
36
36
val option_get : Obj .t option -> Obj .t Caml_undefined_extern .t
37
37
38
- type poly = {hash : int [@ bs.as "HASH" ]; value : Obj .t }
38
+ type poly = {
39
+ hash : int [@ bs.as "HASH" ];
40
+ value : Obj .t [@ bs.as "VAL" ]
41
+ }
39
42
40
43
(* * When it is None, return none
41
44
When it is (Some (`a 3)) return 3
You can’t perform that action at this time.
0 commit comments