summaryrefslogtreecommitdiff
path: root/bytecomp
diff options
context:
space:
mode:
authorTom Kelly <ctk21@cl.cam.ac.uk>2021-09-30 15:06:47 +0100
committerTom Kelly <ctk21@cl.cam.ac.uk>2021-09-30 15:06:47 +0100
commit77779ffe28e6e35d37e51202f2f74f1e948381fb (patch)
tree76e50ee040e6ce3eaad53a457088433f0e6e1b4d /bytecomp
parentd2a60a642be7d78c69aa38b5f68c861aaf625178 (diff)
parentb720b583a1d8eeeb295adbf597c6d2ddf994c1cd (diff)
downloadocaml-77779ffe28e6e35d37e51202f2f74f1e948381fb.tar.gz
Merge commit 'b720b583a1d8eeeb295adbf597c6d2ddf994c1cd' into parallel_minor_gc_4_13
Diffstat (limited to 'bytecomp')
-rw-r--r--bytecomp/bytegen.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/bytecomp/bytegen.ml b/bytecomp/bytegen.ml
index 5aeff40953..76270aed09 100644
--- a/bytecomp/bytegen.ml
+++ b/bytecomp/bytegen.ml
@@ -575,7 +575,7 @@ let rec comp_expr env exp sz cont =
end
end
| Lsend(kind, met, obj, args, _) ->
- let args = if kind = Cached then List.tl args else args in
+ assert (kind <> Cached);
let nargs = List.length args + 1 in
let getmethod, args' =
if kind = Self then (Kgetmethod, met::obj::args) else