caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] module Cset clash
@ 2014-12-11 18:21 Ashish Agarwal
  2014-12-11 18:42 ` Milan Stanojević
  0 siblings, 1 reply; 2+ messages in thread
From: Ashish Agarwal @ 2014-12-11 18:21 UTC (permalink / raw)
  To: Caml List

[-- Attachment #1: Type: text/plain, Size: 274 bytes --]

A Cset module is provided by both the pa_ulex and re packages, leading to:

The files /Users/ashish/.opam/4.02.1/lib/ulex/pa_ulex.cma
and /Users/ashish/.opam/4.02.1/lib/re/re.cma
disagree over interface Cset

Is the only solution for one of the packages to change the name?

[-- Attachment #2: Type: text/html, Size: 390 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [Caml-list] module Cset clash
  2014-12-11 18:21 [Caml-list] module Cset clash Ashish Agarwal
@ 2014-12-11 18:42 ` Milan Stanojević
  0 siblings, 0 replies; 2+ messages in thread
From: Milan Stanojević @ 2014-12-11 18:42 UTC (permalink / raw)
  To: Ashish Agarwal; +Cc: Caml List

In 4.02 you can add prefixes to the modules, in effect creating
namespaces, but it requires work in build systems. I'm not sure any
build system is making use of this right now.




On Thu, Dec 11, 2014 at 1:21 PM, Ashish Agarwal <agarwal1975@gmail.com> wrote:
> A Cset module is provided by both the pa_ulex and re packages, leading to:
>
> The files /Users/ashish/.opam/4.02.1/lib/ulex/pa_ulex.cma
> and /Users/ashish/.opam/4.02.1/lib/re/re.cma
> disagree over interface Cset
>
> Is the only solution for one of the packages to change the name?
>

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2014-12-11 18:43 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-12-11 18:21 [Caml-list] module Cset clash Ashish Agarwal
2014-12-11 18:42 ` Milan Stanojević

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).