Re: [Caml-list] Warnings opening modules (was: why is building ocaml hard?)

[Hendrik Boom <hendrik@topoi.pooq.com>]

On Fri, Jul 15, 2016 at 07:09:22PM +0100, Jeremy Yallop wrote:
> On 15 July 2016 at 17:57, Yotam Barnoy <yotambarnoy@gmail.com> wrote:
> > In haskell, I can just say 'import A (foo, bar, baz, t)' to limit
> > exactly what I want to import. This is because haskell has a
> > half-baked module system that isn't nearly as powerful as OCaml's,
> > which allows it to create syntax that doesn't need to go anywhere but
> > at the toplevel.
> >
> > We need this functionality in OCaml, but the closest thing is to say
> > 'include struct let foo = A.foo let bar = A.bar let baz = A.baz type t
> > = A.t end'
> 
> This can be written more succinctly:
> 
>    let foo, bar, baz = A.(foo, bar, baz)
>    type t = A.t

And that even allows renaming in case several modules try to define the 
same name!

-- hendrik