On Fri, Oct 9, 2009 at 3:33 AM, Andrej Bauer <andrej.ba...@andrej.com> wrote: > On Fri, Oct 9, 2009 at 3:40 AM, Yaron Minsky <ymin...@gmail.com> wrote: >> Choosing shorter names. > > By which you probably mean "the fewest number of dots (module > projections)".
That is the rule we used in MLton, breaking ties by most-recently-defined. It worked quite well in practice. See http://mlton.org/TypeChecking _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs