From 6fbe3c850bac9cbdfa64dbdcca7bd60dc7862190 Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Wed, 19 Oct 2016 14:46:25 +0200 Subject: More comments in VM. --- kernel/cbytegen.ml | 1 + 1 file changed, 1 insertion(+) (limited to 'kernel/cbytegen.ml') diff --git a/kernel/cbytegen.ml b/kernel/cbytegen.ml index 008955d80..7d08f9e2d 100644 --- a/kernel/cbytegen.ml +++ b/kernel/cbytegen.ml @@ -506,6 +506,7 @@ let comp_args comp_expr reloc args sz cont = done; !c +(* Precondition: args not empty *) let comp_app comp_fun comp_arg reloc f args sz cont = let nargs = Array.length args in match is_tailcall cont with -- cgit v1.2.3