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=1.8 required=5.0 tests=AWL,DNS_FROM_RFC_POST, HTML_MESSAGE,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 84DAABBAF for ; Wed, 3 Jun 2009 21:10:37 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuwBAKNnJkrRVdiumGdsb2JhbACCIy+LN4lOPwEBAQEBCAkMBxGnNYEUKwiQMgEDAgSBfi4eCIE1BQ X-IronPort-AV: E=Sophos;i="4.41,299,1241388000"; d="scan'208";a="28783338" Received: from mail-px0-f174.google.com ([209.85.216.174]) by mail3-smtp-sop.national.inria.fr with ESMTP; 03 Jun 2009 21:10:36 +0200 Received: by pxi4 with SMTP id 4so236530pxi.1 for ; Wed, 03 Jun 2009 12:10:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:content-type; bh=1NkNMSC2PZqDeB6ryHe1EhJkVJwfOtUP5pkaXw5hmoM=; b=oVAP1HTJtjuYuLMWDrOpsVg/DGEj4DACGEI6W4zDB7PhFncfTNPQKsmGT+b4EIDrnF n1NenKBj0cVSUkYimOo+WdGNqGCgNl/zrvn/9lrF8uTl0792RIjHQEryHQHUbaQa8Iw8 nPmaQNEcKqAJJgeLBSGfvCh/Zvw3E0wZ1td6c= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; b=CkFVi7NcDQ0GbL8Z9fiNrQH7RCfzNyLHYbm2KZk8DvSEnXflwbznBHcAZ3aLfMbXsu eZGNdWTyYInaTrHY4pHFDYCsQKK/xOKW3ieK5uzGqJnU1WHAcfW0AWAwrojvO0MSuNeY mTm4DvzDOuspq7JN3zotIllQYc+gxyMOFZXPg= MIME-Version: 1.0 Received: by 10.143.1.12 with SMTP id d12mr447622wfi.203.1244056235022; Wed, 03 Jun 2009 12:10:35 -0700 (PDT) In-Reply-To: <20090603170410.GA17897@localhost> References: <20090603170410.GA17897@localhost> Date: Wed, 3 Jun 2009 15:10:35 -0400 Message-ID: Subject: Re: [Caml-list] Extending existing modules From: Ashish Agarwal To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001636e0a774f81936046b7669df X-Spam: no; 0.00; mli:01 ens-lyon:01 bug:01 beginner's:01 ocaml:01 bug:01 mli:01 ens-lyon:01 beginner's:01 ocaml:01 1975:98 2009:98 3013:98 2009:98 3013:98 --001636e0a774f81936046b7669df Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable A related request is that mli files result in named module types, which has been previously discussed: http://groups.google.com/group/fa.caml/browse_frm/thread/6485036bc24f262f/a= f3cd471a808c8d9?lnk=3Dgst&q=3Dagarwal#af3cd471a808c8d9 On Wed, Jun 3, 2009 at 1:04 PM, S=E9bastien Hinderer < Sebastien.Hinderer@ens-lyon.org> wrote: > Dear all, > > I'd like to add my vote to this issue: > http://caml.inria.fr/mantis/view.php?id=3D3013 > I'm doing it here rather than on the bug tracking system because: > > 1. There is an anti-spam protection which is image-based thus not > blind-friendly, so that I can't sign up for an account on the BTS. > > 2. This looks to me as a good opportunity to raise the issue here and > see what people think about it. > > Regards, > S=E9bastien. > > _______________________________________________ > 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 > --001636e0a774f81936046b7669df Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable A related request is that mli files result in named module types, which has= been previously discussed:



On Wed, Jun 3, 2009 at 1:04 PM, S= =E9bastien Hinderer <Sebastien.Hinderer@ens-lyon.org> wrote:
=
Dear all,

I'd like to add my vote to this issue:
http://caml.inria.fr/mantis/view.php?id=3D3013
I'm doing it here rather than on the bug tracking system because:

1. There is an anti-spam protection which is image-based thus not
blind-friendly, so that I can't sign up for an account on the BTS.

2. This looks to me as a good opportunity to raise the issue here and
see what people think about it.

Regards,
S=E9bastien.

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.in= ria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--001636e0a774f81936046b7669df--