aboutsummaryrefslogtreecommitdiff
path: root/kernel
diff options
context:
space:
mode:
authorEmilio Jesus Gallego Arias2017-03-20 15:14:01 +0100
committerEmilio Jesus Gallego Arias2017-03-20 15:15:47 +0100
commitd25b1431eb73a04bdfc0f1ad2922819b69bba93a (patch)
treea802bf020ea296283892aaca2304fcddc7a6b709 /kernel
parent5e2574cbef1ba132aacc73b4a079cc0b5584f589 (diff)
[misc] Remove warnings about String.set
The `a.[i] <- x` notation is deprecated and we were getting a couple of warnings.
Diffstat (limited to 'kernel')
-rw-r--r--kernel/cemitcodes.ml8
1 files changed, 4 insertions, 4 deletions
diff --git a/kernel/cemitcodes.ml b/kernel/cemitcodes.ml
index a0a13174ff..f2c3b402b3 100644
--- a/kernel/cemitcodes.ml
+++ b/kernel/cemitcodes.ml
@@ -106,10 +106,10 @@ let extend_label_table needed =
let backpatch (pos, orig) =
let displ = (!out_position - orig) asr 2 in
- !out_buffer.[pos] <- Char.unsafe_chr displ;
- !out_buffer.[pos+1] <- Char.unsafe_chr (displ asr 8);
- !out_buffer.[pos+2] <- Char.unsafe_chr (displ asr 16);
- !out_buffer.[pos+3] <- Char.unsafe_chr (displ asr 24)
+ Bytes.set !out_buffer pos @@ Char.unsafe_chr displ;
+ Bytes.set !out_buffer (pos+1) @@ Char.unsafe_chr (displ asr 8);
+ Bytes.set !out_buffer (pos+2) @@ Char.unsafe_chr (displ asr 16);
+ Bytes.set !out_buffer (pos+3) @@ Char.unsafe_chr (displ asr 24)
let define_label lbl =
if lbl >= Array.length !label_table then extend_label_table lbl;