Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] code duplication when abstracting using explicit signatures
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Michal Moskal <malekith@p...>
Subject: Re: [Caml-list] code duplication when abstracting using explicit signatures
On Thu, Mar 20, 2003 at 05:32:34PM -0600, Jeffrey J. Cook wrote:
> I'm trying to avoid code duplication, but have a very simple case where it
> seems inescapable utilitizing only the functionality of the ocaml tools.  In
> example.mli, I declare several large types, in which I want the full contents
> of the types to be visible to other modules.  How do I avoid duplicating those
> full definitions in  I've tried using "include Example" at the
> beginning of, which ocamlopt has no argument with, but ocamlc gives:
> Error while linking example.cmo: Reference to undefined global `Example'
> I can't simply skip the .mli, as there are functions in that
> I don't want exported; not to meantion the clean-ness of seperation .mli's
> provide.  Any suggestions?

Use example_types.mli and AFAIR you can only put types
in example_types, not even exceptions.

: Michal Moskal ::::: malekith/at/ :  GCS {C,UL}++++$ a? !tv
: PLD Linux ::::::: Wroclaw University, CS Dept :  {E-,w}-- {b++,e}>+++ h

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: