Debugging Sub and Meet

[helm.git] / helm / ocaml / mathql_interpreter / sub.ml

diff --git a/helm/ocaml/mathql_interpreter/sub.ml b/helm/ocaml/mathql_interpreter/sub.ml
index 17804c75412420393dad856322272262583d046b..b4c65d207140d7c8e91accb3c61204dbc01a2d3a 100644 (file)
--- a/helm/ocaml/mathql_interpreter/sub.ml
+++ b/helm/ocaml/mathql_interpreter/sub.ml
@@ -26,7 +26,9 @@
 
 let rec sub_ex v1 v2 =
   match v1,v2 with
-    [],_ 
+    [],_ -> true
   | _,[] -> false
-  | s::tl,l -> if (List.mem s l) then sub_ex tl l  
-               else false      
+  | s1::tl1, s2::_ when s1 < s2 -> sub_ex tl1 v2
+  | s1::_, s2::_ when s2 < s1 -> false
+  | s1::tl1, s2::tl2 -> (tl1,tl2)
+;;