My aggregated monorepo of OCaml code, automaintained
Squashed 'ocaml-yamlt/' changes from 2ce298e..30828b2
30828b2 Eliminate Obj.magic with type-safe equivalents
git-subtree-dir: ocaml-yamlt
git-subtree-split: 30828b24e85861838d272f251428aa2b4ff4ac83
+8
-6
+8
-6
lib/yamlt.ml
+8
-6
lib/yamlt.ml
···
437
437
let umems = Unknown_mems umems_opt in
438
438
decode_object_cases d ~nest obj_meta map umems cases mem_miss [] dict
439
439
440
+
and init_unknown_builder : type o mems builder.
441
+
(o, mems, builder) unknown_mems -> builder =
442
+
function
443
+
| Unknown_skip -> ()
444
+
| Unknown_error -> ()
445
+
| Unknown_keep (mmap, _) -> mmap.dec_empty ()
446
+
440
447
and decode_object_basic : type o mems builder.
441
448
decoder ->
442
449
nest:int ->
···
447
454
Dict.t ->
448
455
Dict.t =
449
456
fun d ~nest obj_meta object_map umems mem_miss dict ->
450
-
let ubuilder =
451
-
ref
452
-
(match umems with
453
-
| Unknown_skip | Unknown_error -> Obj.magic ()
454
-
| Unknown_keep (mmap, _) -> mmap.dec_empty ())
455
-
in
457
+
let ubuilder = ref (init_unknown_builder umems) in
456
458
let mem_miss = ref mem_miss in
457
459
let dict = ref dict in
458
460
let rec loop () =