From 137e8b1636fa0b25c232ed42944ecaed058732ee Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Sun, 14 Apr 2019 12:51:30 +0200
Subject: [native compiler] Distinguish constant constructors in lambda code

---
 kernel/nativecode.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'kernel/nativecode.ml')

diff --git a/kernel/nativecode.ml b/kernel/nativecode.ml
index d7ec2ecf72..c879cab9df 100644
--- a/kernel/nativecode.ml
+++ b/kernel/nativecode.ml
@@ -1272,6 +1272,8 @@ let ml_of_instance instance u =
 	(lname, paramsi, body) in
       MLletrec(Array.mapi mkrec lf, lf_args.(start)) *)
 
+  | Lint tag -> MLapp(MLprimitive Mk_int, [|MLint tag|])
+
   | Lmakeblock (prefix,(cn,_u),_,args) ->
      let args = Array.map (ml_of_lam env l) args in
      MLconstruct(prefix,cn,args)
-- 
cgit v1.2.3