Jon Harrop <jon@ffconsultancy.com> writes:

> On Sunday 19 April 2009 22:36:12 Ashish Agarwal wrote:
>> Having the compiler introduce module type names automatically from mli
>> files would be very helpful, and I don't see any disadvantages.
>
> Some people contest the idea that files should automatically convey module 
> information at all (SML does not). Indeed, should directories convey 
> something as well?

I thought they did.

a.ml: module B = struct let foo = ... end

and

a/b.ml : let foo = ...

could actually be equivalent and both result in A.B.foo.

MfG
        Goswin