Version française
Home     About     Download     Resources     Contact us    
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 example.ml?  I've tried using "include Example" at the
> beginning of example.ml, 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 example.ml that
> I don't want exported; not to meantion the clean-ness of seperation .mli's
> provide.  Any suggestions?

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

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

-------------------
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