> module Implementation { "debug" } = struct ... end
> 
> import Implementation

I meant: include Implementation. Sorry for the noise.

>   (* or redefine definition by definition: 
>      let my_function = Implementation.my_function *)
> 
> And in the mli (which may now even be superfluous unless you want to
> document the API):
> 
> val my_function : ...
> module Implementation { "debug" } : sig ... end
> 
> If there was a special ANY module type that unifies with anything:
> 
> module Implementation { "debug" } : ANY
> 
> This would then simply export all definitions.
> 
> There could be additional utilities for stripping definitions with
> access control tokens from the cmi files. The whole point is to grant
> the developer of a certain library more rights than the user of a
> library.
> 
> Gerd
> 
> 
> Am Sonntag, den 28.09.2014, 19:06 -0400 schrieb Eric Cooper:
> > I'd like to write unit tests for functions not exported in a .mli
> > file.  The only way I can see is to remove the .mli file while
> > building the test, so the whole .ml file is visible.  Is there a better
> > way, preferably integrated with ocamlmake + findlib?
> > 
> > -- 
> > Eric Cooper             e c c @ c m u . e d u
> > 
> 

-- 
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
My OCaml site:          http://www.camlcity.org
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------