Re: "ocaml_beginners"::[] Multiple inclusion

Shalom, Ronan.

RD> I have the following simplified situation:

RD>; module type B = sig
RD> type t
RD> val f : t -> ...
RD> val g : t -> ...
RD> end

RD> module type CD = sig
RD> include C
RD> include D

The most simple way is to define type t outside of
module B.

--
WBR,
dmitry mailto: gds-mlsts%40moldavcable.com">gds-mlstsmoldavcable.com

Messages in this topic (0) Reply (via web post) | Start a new topic

.

Hi there,

dmitry grebeniuk wrote:
> Shalom, Ronan.
>
> The most simple way is to define type t outside of
> module B
Unfortunately, I'm trying to work inside an existing framework, where
module B has already been defined. If I move t out, then I guess
anything that refers to B.t will break. In the end though, I might just
have to bite the bullet!

Cheers,

Rónán

Messages in this topic (0) Reply (via web post) | Start a new topic

.