Eta expand (land) and (lor) to fun a b -> a land b

fun a b -> a lor b, not supported in ocaml 3.10.0

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@79 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

diff --git a/automaton.ml b/automaton.ml
index 12eee0b..27c8264 100644 (file)
--- a/automaton.ml
+++ b/automaton.ml
@@ -28,8 +28,8 @@ struct
   let mem e s = ((1 lsl e) land s) != 0
   let add e s = (1 lsl e) lor s
   let singleton e = (1 lsl e)
-  let union = (lor)
-  let inter = (land)
+  let union a b = a lor b
+  let inter a b = a land b
   let diff a b = a land (lnot b)
   let remove e s = (lnot (1 lsl e) land s)
   let compare = (-)