From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 5F637BBAF for ; Mon, 20 Apr 2009 07:18:06 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtEBAN+i60nZSMDji2dsb2JhbACBTpRtAQEBCgsKBw8FtFqDfQY X-IronPort-AV: E=Sophos;i="4.40,215,1238968800"; d="scan'208";a="38723854" Received: from fmmailgate02.web.de ([217.72.192.227]) by mail4-smtp-sop.national.inria.fr with ESMTP; 20 Apr 2009 07:17:54 +0200 Received: from smtp07.web.de (fmsmtp07.dlan.cinetic.de [172.20.5.215]) by fmmailgate02.web.de (Postfix) with ESMTP id C0B0EFD50EDD for ; Mon, 20 Apr 2009 07:17:53 +0200 (CEST) Received: from [78.43.226.218] (helo=frosties.localdomain) by smtp07.web.de with asmtp (TLSv1:AES256-SHA:256) (WEB.DE 4.110 #277) id 1LvltB-0001bg-00 for caml-list@yquem.inria.fr; Mon, 20 Apr 2009 07:17:53 +0200 Received: from mrvn by frosties.localdomain with local (Exim 4.69) (envelope-from ) id 1LvltA-0005WP-9o for caml-list@yquem.inria.fr; Mon, 20 Apr 2009 07:17:52 +0200 From: Goswin von Brederlow To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Extending modules and signatures References: <49E9E195.6030603@ens-lyon.org> <200904192253.13453.jon@ffconsultancy.com> Date: Mon, 20 Apr 2009 07:17:52 +0200 In-Reply-To: <200904192253.13453.jon@ffconsultancy.com> (Jon Harrop's message of "Sun, 19 Apr 2009 22:53:13 +0100") Message-ID: <877i1fx5rz.fsf@frosties.localdomain> User-Agent: Gnus/5.110006 (No Gnus v0.6) XEmacs/21.4.21 (linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: goswin-v-b@web.de X-Sender: goswin-v-b@web.de X-Provags-ID: V01U2FsdGVkX19GSZs33xokYt7g2YXbMF+0mEfDmmDsSFCRgBXI gQ60Z2Cwh8MkeT0pRtAsAsqhc5nOoGsg1E//VHNOseWhOU6OEI 7bF6ZZwn8= X-Spam: no; 0.00; compiler:01 mli:01 struct:01 foo:01 foo:01 2009:98 mfg:98 sml:01 wrote:01 signatures:01 caml-list:01 writes:01 modules:02 module:03 module:03 Jon Harrop 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