diff options
| author | Gaëtan Gilbert | 2019-10-02 16:41:11 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-10-02 16:41:11 +0200 |
| commit | b6f77dc89b62bdb43f2f07ba31b181a10dfcfc39 (patch) | |
| tree | 965d8872e7ddd3848c9e6f50d2efa4683803dd6c /kernel | |
| parent | 397fa7d34e100213855df7f3aa05ce4d497724e1 (diff) | |
| parent | 58a20d7268608a701a4cd8f51baaa7ba42d23f82 (diff) | |
Merge PR #10768: [ci] Update to OCaml 4.09.0, drop now useless "trunk" jobs.
Reviewed-by: SkySkimmer
Reviewed-by: Zimmi48
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 e54118c775..f788832d5b 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 in + let () = Obj.set_tag ans accumulate_tag [@ocaml.alert "--deprecated"] 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 in + let () = Obj.set_tag ans accumulate_tag [@ocaml.alert "--deprecated"] in (Obj.obj ans : t) let get_accu (k : accumulator) = |