Haoyang Wang provided the answer you're looking for, I think! In case you are writing your own modules with infix operators, I've found the following style to be useful:
--- Inside Vector.ml --- (* definition of some basic functions here... *) (* now some infix defs using the basic functions, in "Ops" submodule *) module Ops = struct let ( +| ) u v = add u v let ( -| ) u v = sub u v let ( *| ) a v = scale a v end open Ops (* so that they are usable within Vector itself *) --- --- Some other module without opening all of Vector --- open Vector.Ops let answer = a +| b let same_answer = Vector.add a b --- In some cases I'll also expose types in a Type submodule. This is to minimize name-collision with record fields, but have direct access to the fields in situations which it's appropriate (by doing "open Vector.Type", for example). Hope that's of some use! -Tony On Thu, Apr 26, 2012 at 5:01 PM, Haoyang Wang <hyw...@pobox.com> wrote: > > On Apr 26, 2012, at 3:36 PM, ocamllist.robertw...@spamgourmet.com wrote: > > > I'm a OCaml newbie. I don't understand how to use infix functions that > are in modules when I don't want to use "open". > > > > I did discover http://xahlee.org/ocaml/functions.html which explains > that an infix operator can be used as a prefix. So, this format: > > > > ((Module.(op)) "foo" "bar") > > > > does seem to work. But, intuitively, it seems like: > > > > "foo" Module.(op) "bar" > > > > would work -- it doesn't. > > > > Is there a way to keep the infix notation? > > > > Thanks. > > > Module.("foo" (op) "bar") > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
