From 6d7fdaf8484da81993958d339e411d8e3b1a38c1 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Thu, 25 Mar 2021 11:28:17 +0100
Subject: Fix assertion that checks that APPLY can only be passed 4 arguments.

---
 kernel/vmbytegen.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/vmbytegen.ml')

diff --git a/kernel/vmbytegen.ml b/kernel/vmbytegen.ml
index 7d3b3469b0..3dc268ccdf 100644
--- a/kernel/vmbytegen.ml
+++ b/kernel/vmbytegen.ml
@@ -761,7 +761,7 @@ let rec compile_lam env cenv lam sz cont =
     let arity = CPrimitives.arity op in
     let nparams = CPrimitives.nparams op in
     let nargs = arity - nparams in
-    assert (arity = Array.length args && arity <= 4);
+    assert (arity = Array.length args && arity + Univ.Instance.length u <= 4);
     let (jump, cont) = make_branch cont in
     let lbl_default = Label.create () in
     let default =
-- 
cgit v1.2.3