]> On Thu, Nov 20, 2003 at 12:33:34AM +1100, skaller wrote: > A compromise might be: give up declared interfaces. Couldn't .mli files be done away with mostly with a few extra keywords in the language, eg: public let my_function_which_i_want_exported = ... abstract type t = { hidden implementation } It's a bit of a flaw in the language that you have all this lovely type inference working for you, but then you have to go and declare your types anyway in the .mli files. Rich. -- Richard Jones. http://www.annexia.org/ http://freshmeat.net/users/rwmj Merjis Ltd. http://www.merjis.com/ - improving website return on investment "My karma ran over your dogma" ------------------- 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