[Caml-list] including signature (mli) in struct (ml)

[Caml-list] including signature (mli) in struct (ml)

[Shaddin Doghmi]

let us say i have the following functor in a.ml:

module Make(In:sig blah end):Aout =blahblah

and the following functor in b.ml, which takes as input Aout:

module Make(In:Aout):Bout = blahblah

so basically, i have to be able to refer to Aout in b.ml . what im 
having to do is define Aout in a.ml using:

module type Aout = sig blahblah end

and then repeating that definition in a.mli in order to export Aout so i 
can refer to it in b.ml

this redundancy can be annoying, is there a way to declare Aout only 
once and still be able to refer to it in b.ml ? How about including 
a.mli in a.ml somehow? something along the lines of include in C would 
do it, where including a.h in a.c would make it unnecessary to define 
something in both...

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] including signature (mli) in struct (ml)

[Kenneth Knowles]

On Wed, Aug 18, 2004 at 06:52:35PM -0400, Shaddin Doghmi wrote:
> this redundancy can be annoying, is there a way to declare Aout only 
> once and still be able to refer to it in b.ml ? How about including 
> a.mli in a.ml somehow? something along the lines of include in C would 
> do it, where including a.h in a.c would make it unnecessary to define 
> something in both...

Someone may have a more elegant solution to this, but when I have a bunch of
types that I don't want to have to repeat, I put them in a .ml file without a
corresponding .mli file.

Kenn

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] including signature (mli) in struct (ml)

[brogoff]

On Wed, 18 Aug 2004, Kenneth Knowles wrote:
> On Wed, Aug 18, 2004 at 06:52:35PM -0400, Shaddin Doghmi wrote:
> > this redundancy can be annoying, is there a way to declare Aout only
> > once and still be able to refer to it in b.ml ? How about including
> > a.mli in a.ml somehow? something along the lines of include in C would
> > do it, where including a.h in a.c would make it unnecessary to define
> > something in both...
>
> Someone may have a more elegant solution to this, but when I have a bunch of
> types that I don't want to have to repeat, I put them in a .ml file without a
> corresponding .mli file.

If it's just types (not exceptions) I find it a bit more suggestive to put them
in a .mli file. Not much difference.

-- Brian

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Re: [Caml-list] including signature (mli) in struct (ml)

[Stefano Zacchiroli]

On Wed, Aug 18, 2004 at 04:44:22PM -0700, brogoff wrote:
> If it's just types (not exceptions) I find it a bit more suggestive to
> put them in a .mli file. Not much difference.

Not really, putting them in a .mli has the additional advantage to avoid
link order issues.

Cheers.

-- 
Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
If there's any real truth it's that the entire multidimensional infinity
of the Universe is almost certainly being run by a bunch of maniacs. -!-

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners