Change back some of the changes done in 716f0d5b

where I've removed the handling of polymorphism.

src/l2lRmPoly.ml

-(* Time-stamp: <modified the 26/06/2014 (at 16:59) by Erwan Jahier> *)
+(* Time-stamp: <modified the 26/06/2014 (at 17:59) by Erwan Jahier> *)
 
 (*
 Source 2 source transformation :
@@ -14,7 +14,7 @@ let dbg = (Verbose.get_flag "poly")
 let (is_predef_overloaded : Lic.node_key -> bool) = 
   fun nk -> 
     match fst nk with
-      | ("Lustre",("times"|"slash"|"uminus"|"minus"|"plus")) -> true
+      | ("Lustre",("times"|"slash"|"uminus"|"minus"|"plus"|"lt"|"lte"|"gt"|"gte")) -> true
       | _ -> false
 
 (** utile : on ne traite que les poly non externe *)

src/socPredef.ml

-(* Time-stamp: <modified the 26/06/2014 (at 17:37) by Erwan Jahier> *)
+(* Time-stamp: <modified the 26/06/2014 (at 17:58) by Erwan Jahier> *)
 
 (** Synchronous Object Code for Predefined operators. *)
 
@@ -140,6 +140,14 @@ let of_soc_key : Soc.key -> Soc.t =
       | "Lustre::gt"  -> (make_soc sk (sp tl) [step21 None])
       | "Lustre::lte" -> (make_soc sk (sp tl) [step21 None])
       | "Lustre::gte" -> (make_soc sk (sp tl) [step21 None])
+      | "Lustre::ilt"  -> (make_soc sk (sp tl) [step21 None])
+      | "Lustre::igt"  -> (make_soc sk (sp tl) [step21 None])
+      | "Lustre::ilte" -> (make_soc sk (sp tl) [step21 None])
+      | "Lustre::igte" -> (make_soc sk (sp tl) [step21 None])
+      | "Lustre::rlt"  -> (make_soc sk (sp tl) [step21 None])
+      | "Lustre::rgt"  -> (make_soc sk (sp tl) [step21 None])
+      | "Lustre::rlte" -> (make_soc sk (sp tl) [step21 None])
+      | "Lustre::rgte" -> (make_soc sk (sp tl) [step21 None])
 
       | "Lustre::and" -> (make_soc sk (sp tl) [step21 None])
       | "Lustre::eq" -> (make_soc sk (sp tl) [step21 None])