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