From 43fbb57e7982c028ee0c74b0252f24fef29a68a4 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Tue, 8 Apr 2014 20:42:46 -0400
Subject: Optimizing Int31 support in native compiler, by not tagging
 applications of I31 constructor as lazy.

---
 kernel/nativelambda.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/nativelambda.mli')

diff --git a/kernel/nativelambda.mli b/kernel/nativelambda.mli
index da1a07d5d8..a2763626c0 100644
--- a/kernel/nativelambda.mli
+++ b/kernel/nativelambda.mli
@@ -23,7 +23,7 @@ val empty_evars : evars
 val decompose_Llam : lambda -> Names.name array * lambda
 val decompose_Llam_Llet : lambda -> (Names.name * lambda option) array * lambda
 
-val is_lazy : constr -> bool
+val is_lazy : prefix -> constr -> bool
 val mk_lazy : lambda -> lambda
 
 val get_allias : env -> constant -> constant
-- 
cgit v1.2.3