From: kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Date: Tue, 27 Jan 2009 22:24:33 +0000 (+0000)
Subject: Eta expand (land) and (lor) to fun a b -> a land b
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=6c60812f1f494f273d6074fcccf2707a6097cfaa;p=SXSI%2Fxpathcomp.git

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
--- 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 = (-)