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 = "-"
142142let exception_id = " RE_EXN_ID"
143143
144144let polyvar_hash = " HASH"
145- let polyvar_value = " value "
145+ let polyvar_value = " VAL "
146146
147147let cons = " ::"
148148let hd = " hd"
Original file line number Diff line number Diff line change @@ -75,7 +75,10 @@ let option_get (x : 'a option) =
7575 else Obj. magic (valFromOption (Obj. repr x))
7676
7777
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+ }
7982
8083(* * [input] is optional polymorphic variant *)
8184let 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
3535
3636val option_get : Obj .t option -> Obj .t Caml_undefined_extern .t
3737
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+ }
3942
4043(* * When it is None, return none
4144 When it is (Some (`a 3)) return 3
You can’t perform that action at this time.
0 commit comments