From 6c60812f1f494f273d6074fcccf2707a6097cfaa Mon Sep 17 00:00:00 2001 From: kim Date: Tue, 27 Jan 2009 22:24:33 +0000 Subject: [PATCH] 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 --- automaton.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 = (-) -- 2.17.1