From ab84e2f45e2cdf99e5c69b90b628ef6618fe880a Mon Sep 17 00:00:00 2001
From: Maxime Dénès <mail@maximedenes.fr>
Date: Sun, 10 Jun 2018 18:25:09 +0200
Subject: Fix #7723: vm_compute segfaults with universe polymorphism

Was revealing a critical bug in VM universe handling introduced in 8.5.
---
 kernel/cbytecodes.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/cbytecodes.ml')

diff --git a/kernel/cbytecodes.ml b/kernel/cbytecodes.ml
index 521f540d2..6931fec03 100644
--- a/kernel/cbytecodes.ml
+++ b/kernel/cbytecodes.ml
@@ -217,6 +217,7 @@ type vm_env = {
 
 
 type comp_env = {
+    arity : int;                 (* arity of the current function, 0 if none *)
     nb_uni_stack : int ;         (* number of universes on the stack,      *)
                                  (* universes are always at the bottom.    *)
     nb_stack : int;              (* number of variables on the stack       *)
-- 
cgit v1.2.3