From 840f6672dfc24d865108abc8fb90a733e073972c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@ens.fr>
Date: Mon, 2 May 2011 17:58:26 +0200
Subject: [PATCH] Fixed linear typing of const tuples

---
 compiler/heptagon/analysis/linear_typing.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/heptagon/analysis/linear_typing.ml b/compiler/heptagon/analysis/linear_typing.ml
index 8a10786..f41fc68 100644
--- a/compiler/heptagon/analysis/linear_typing.ml
+++ b/compiler/heptagon/analysis/linear_typing.ml
@@ -390,7 +390,7 @@ let rec typing_pat env = function
     the expected linearity. *)
 let rec typing_exp env e =
   let l, env = match e.e_desc with
-    | Econst _ -> Ltop, env
+    | Econst _ -> lin_skeleton Ltop e.e_ty, env
     | Evar x -> lin_of_ident x env, env
     | Elast _ -> Ltop, env
     | Epre (_, e) ->