diff options
| author | Pierre-Marie Pédrot | 2020-04-14 12:22:08 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-04-14 12:22:08 +0200 |
| commit | 585884b757b8eef4052ddb45b42b15bfce372c0d (patch) | |
| tree | d0296d299ddd7511732db5245e668201ecd47c7a /kernel | |
| parent | 49716d61613f19fd8030f879f37dcc21222d64de (diff) | |
| parent | 0d7fdb0ce2ccfcc14f465cbc57c62922d2347745 (diff) | |
Merge PR #12084: [warnings] Be silent about the `set_tag` warning.
Ack-by: Zimmi48
Reviewed-by: ppedrot
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/nativevalues.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kernel/nativevalues.ml b/kernel/nativevalues.ml index 6cfe44c5ff..a5fcfae1fc 100644 --- a/kernel/nativevalues.ml +++ b/kernel/nativevalues.ml @@ -96,14 +96,14 @@ let mk_accu (a : atom) : t = else let data = { data with acc_arg = x :: data.acc_arg } in let ans = Obj.repr (accumulate data) in - let () = Obj.set_tag ans accumulate_tag [@ocaml.alert "--deprecated"] in + let () = Obj.set_tag ans accumulate_tag [@ocaml.warning "-3"] in ans in let acc = { acc_atm = a; acc_arg = [] } in let ans = Obj.repr (accumulate acc) in (** FIXME: use another representation for accumulators, this causes naked pointers. *) - let () = Obj.set_tag ans accumulate_tag [@ocaml.alert "--deprecated"] in + let () = Obj.set_tag ans accumulate_tag [@ocaml.warning "-3"] in (Obj.obj ans : t) let get_accu (k : accumulator) = |
