> Maybe I should tell how I want to use the tool. I don't want to update
> the .mli file automatically everytime I change something in the .ml
> file. I want to use the compiler as I would do without the tool. The

Having an .mli that may or may not be machine generated would probably 
cause unnecessary problems.

You could also generate the .cmi from the .ml; this is already done if 
it doesn't already exist.  Making minor additions to the top-level 
compiler syntax to indicate whether to exclude or make abstract 
definitions in the .ml when generating the .cmi shouldn't be too 
difficult.

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