From 627979534a14bc36991e6db7d76dd888cf13aab4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@m4x.org>
Date: Tue, 27 Jul 2010 17:48:21 +0200
Subject: [PATCH] Generate correct call for operators

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

diff --git a/compiler/main/mls2obc.ml b/compiler/main/mls2obc.ml
index a691231..065e392 100644
--- a/compiler/main/mls2obc.ml
+++ b/compiler/main/mls2obc.ml
@@ -313,6 +313,10 @@ and translate_eq_list map call_context act_list =
 
 and mk_node_call map call_context app loc name_list args =
   match app.Minils.a_op with
+    | Minils.Efun f when Mls_utils.is_op f ->
+        let e = mk_exp (Eop(f, args)) in
+        [], [], [], [Aassgn(List.hd name_list, e) ]
+
     | Minils.Enode f | Minils.Efun f ->
         let o = mk_obj_call_from_context call_context (gen_obj_name f) in
         let obj =