From 0c1860ccbdab26875eb9c258305a5f82b5ab0ff4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@m4x.org>
Date: Thu, 15 Jul 2010 13:12:11 +0200
Subject: [PATCH] Fixed problem with tuple consts in Mls2obc

---
 compiler/main/mls2obc.ml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/compiler/main/mls2obc.ml b/compiler/main/mls2obc.ml
index a60398c..8f086a1 100644
--- a/compiler/main/mls2obc.ml
+++ b/compiler/main/mls2obc.ml
@@ -102,6 +102,11 @@ and translate_act map ((m, _, _, _) as context) pat
     | Minils.Etuplepat p_list,
       Minils.Eapp ({ Minils.a_op = Minils.Etuple }, act_list, _) ->
         List.flatten (List.map2 (translate_act map context) p_list act_list)
+    | Minils.Etuplepat p_list,
+        Minils.Econst { se_desc = Stuple se_list } ->
+        let const_list = List.map
+          (fun se -> Minils.mk_exp (Minils.Econst se)) se_list in
+          List.flatten (List.map2 (translate_act map context) p_list const_list)
     | pat, Minils.Ewhen (e, _, _) ->
         translate_act map context pat e
     | pat, Minils.Emerge (x, c_act_list) ->