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 <hywang@pobox.com> wrote:

On Apr 26, 2012, at 3:36 PM, ocamllist.robertwork@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