From 9f7c4da446aea812978ab4b573b949aeb969afc5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@m4x.org>
Date: Fri, 16 Jul 2010 14:15:26 +0200
Subject: [PATCH] Added missing operator

---
 compiler/global/static.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/compiler/global/static.ml b/compiler/global/static.ml
index b4edbda..9f0490e 100644
--- a/compiler/global/static.ml
+++ b/compiler/global/static.ml
@@ -74,7 +74,9 @@ and apply_op op se_list =
            | Modname { qual = "Pervasives"; id = "/" } ->
                let n = if n2 = 0 then raise Instanciation_failed else n1 / n2 in
                  Sint n
-           | _ -> assert false (*TODO: add missing operators*)
+           | Modname { qual = "Pervasives"; id = "=" } ->
+               Sbool (n1 = n2)
+           | _ -> Format.printf "Unsupported op: %s\n" (fullname op); assert false (*TODO: add missing operators*)
         )
     | [{ se_desc = Sint n }] ->
         (match op with