From 924a6e99f85aa0d70d42e753d6901b067ebf8f1d Mon Sep 17 00:00:00 2001
From: Benjamin Gregoire <Benjamin.Gregoire@inria.fr>
Date: Fri, 27 Mar 2015 06:44:02 +0100
Subject: use a more compact representation of non-constant constructors for
 which there corresponding tag are greater than max_variant_tag. The code is a
 merge with the patch proposed by Bruno on github barras/coq
 commit/504c753d7bb104ff4453fa0ede21c870ae2bb00c

---
 kernel/cbytecodes.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'kernel/cbytecodes.ml')

diff --git a/kernel/cbytecodes.ml b/kernel/cbytecodes.ml
index 91b701e0e..700de5020 100644
--- a/kernel/cbytecodes.ml
+++ b/kernel/cbytecodes.ml
@@ -24,7 +24,9 @@ let fix_tag = 3
 let switch_tag = 4
 let cofix_tag = 5
 let cofix_evaluated_tag = 6
-let max_tag = Obj.lazy_tag - 1
+(* It could be greate if OCaml export this value,
+   So fixme if this occur in a new version of OCaml *)
+let last_variant_tag = 245 
 
 type structured_constant =
   | Const_sorts of sorts
-- 
cgit v1.2.3