Archives of the Caml mailing list > Message from Stephen Weeks

Browse thread

Improving OCaml's choice of type to display

Yaron Minsky
- Yaron Minsky
  - Jun Furuse
    - Yaron Minsky
      - Jun Furuse
        
        Gilles Pirio
- Andrej Bauer
  - Yaron Minsky
    - Alp Mestan
      - Yaron Minsky
  - Stephen Weeks

Date:	-- (:)
From:	Stephen Weeks <sweeks@s...>
Subject:	Re: [Caml-list] Improving OCaml's choice of type to display

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