From e82856f3108a25f7b0cabff4190bc56d3a0cafa1 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 30 Jul 2017 16:10:14 +0200
Subject: Handling evars in the VM.

We simply treat them as as an application of an atom to its instance,
and in the decompilation phase we reconstruct the instance from the stack.

This grants wish BZ#5659.
---
 kernel/cinstr.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'kernel/cinstr.mli')

diff --git a/kernel/cinstr.mli b/kernel/cinstr.mli
index 2d9ec6050e..c6f63872bf 100644
--- a/kernel/cinstr.mli
+++ b/kernel/cinstr.mli
@@ -20,6 +20,7 @@ type uint =
 and lambda =
   | Lrel          of Name.t * int
   | Lvar          of Id.t
+  | Levar         of Evar.t * lambda array
   | Lprod         of lambda * lambda
   | Llam          of Name.t array * lambda
   | Llet          of Name.t * lambda * lambda
-- 
cgit v1.2.3