[Caml-list] Re: Legality of using module types from .mli in .ml

[Julien Signoles <Julien.Signoles@lri.fr>]

>     ohl@wptx47:~misc$ ocamldefun -v
>     1.02
>     ohl@wptx47:~misc$ cat a.mli
>     module type T = sig val n : int end
>     module M : T
>     ohl@wptx47:~misc$ cat a.ml
>     module type T = A.T
>     module M : T = struct let n = 42 end
>     ohl@wptx47:~misc$ ocamldefun -d defun a.mli a.ml
>     ohl@wptx47:~misc$ cd defun/
>     ohl@wptx47:~defun$ ls
>     a.cmd  a.ml
>     ohl@wptx47:~defun$ cat a.ml
>     module type T = A.T
>     module M = struct let n = 42 end
>     ohl@wptx47:~defun$ ocamlopt a.ml
>     File "a.ml", line 1, characters 16-19:
>     Unbound module type A.T
> 
> I could ignore appendix B of the manual and create a a.cmi:
> 
>     ohl@wptx47:~defun$ cp ../a.mli .
>     ohl@wptx47:~defun$ ocamlc a.mli
>     ohl@wptx47:~defun$ ocamlopt a.ml
> 
> but I'm not supposed to do that, am I?

Effectively, you're not supposed to do that (except if you're sure that
the problem of the appendix B cannot be appear in your program).

Julien Signoles.
-- 
mailto : Julien.Signoles@lri.fr ; http : www.lri.fr/~signoles
"In theory, practice and theory are the same, 
but in practice they are different" (Larry McVoy)
-------------------
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