On Fri, Oct 9, 2009 at 3:33 AM, Andrej Bauer  <andrej.bauer@andrej.com > wrote:

> On Fri, Oct 9, 2009 at 3:40 AM, Yaron Minsky  <yminsky@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:

Archives: http://caml.inria.fr

Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

Bug reports: http://caml.inria.fr/bin/caml-bugs