From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p2U6dYS6007841
	for <caml-list@sympa-roc.inria.fr>; Wed, 30 Mar 2011 08:39:34 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AukCANzPkk1KfVIqimdsb2JhbAAupRwIFAEBAQoJDQcSBiGIeZhEilWCIoUhL4hcAQEDBYVlBI0Fg1VzhEQ6
X-IronPort-AV: E=Sophos;i="4.63,267,1299452400"; 
   d="scan'208";a="104016030"
Received: from mail-ww0-f42.google.com ([74.125.82.42])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 Mar 2011 08:39:28 +0200
Received: by wwk4 with SMTP id 4so4044691wwk.3
        for <caml-list@inria.fr>; Tue, 29 Mar 2011 23:39:27 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:subject:mime-version:content-type:from
         :in-reply-to:date:cc:content-transfer-encoding:message-id:references
         :to:x-mailer;
        bh=9TNFRFeaVz22b0CyHcB66pIWDdYEelBQLtTpEKfAMnU=;
        b=qK/ZjyT5GB1Zqde4NbGclUjpuRhn0YSi3S8RBqYOhuhOkQvt9vGzVTIOjeivk1fFha
         FxGxn6fkh8gcfDVsNo98EkoDDQW5I1l2g1YAahUX7WZpiE8AlIzNM0/vVebmEpjUXTcy
         kIQtuP38Avs5Sz04gdRzCphdn0Przyl/F+XV4=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=subject:mime-version:content-type:from:in-reply-to:date:cc
         :content-transfer-encoding:message-id:references:to:x-mailer;
        b=eBAWEueimERgz+jYMfchSWD0qtf4AFZ2Tc2LmlH1oBKYBQKl29k72Zm+kTQl8H8mhZ
         ZM8E5DnMEKNGIFS6eWbgv5WYwT44LOO7rf5/xuSuZy8D8nYhV5rR1orHkqkLWNeUujWi
         IlWjcCyRGApSpXIE+SJi6EpDD8JYZkAYh8SaM=
Received: by 10.227.148.144 with SMTP id p16mr804082wbv.223.1301467167523;
        Tue, 29 Mar 2011 23:39:27 -0700 (PDT)
Received: from [192.168.0.201] ([95.60.213.7])
        by mx.google.com with ESMTPS id p5sm2825498wbg.62.2011.03.29.23.39.24
        (version=TLSv1/SSLv3 cipher=OTHER);
        Tue, 29 Mar 2011 23:39:25 -0700 (PDT)
Mime-Version: 1.0 (Apple Message framework v1084)
Content-Type: text/plain; charset=us-ascii
From: Joel Reymont <joelr1@gmail.com>
In-Reply-To: <20110330025009.GA5064@melkinpaasi.cs.helsinki.fi>
Date: Wed, 30 Mar 2011 07:39:21 +0100
Cc: caml-list@inria.fr
Content-Transfer-Encoding: 7bit
Message-Id: <C75840D1-A9D5-4106-9824-F5A231692982@gmail.com>
References: <20110330025009.GA5064@melkinpaasi.cs.helsinki.fi>
To: Lauri Alanko <la@iki.fi>
X-Mailer: Apple Mail (2.1084)
Subject: Re: [Caml-list] Functor applications cannot be opened


On Mar 30, 2011, at 3:50 AM, Lauri Alanko wrote:

> I would like to get the types in F(M) into scope to avoid putting the
> functor application everywhere:
> 
> module type S = sig
>  module M : T
>  open F(M)
>  val x : l
> end

http://www.math.nagoya-u.ac.jp/~garrigue/papers/ml2010-show.pdf

module type S = sig
 module M : T
 include module type of F(M)
 val x : l
end

--------------------------------------------------------------------------
- for hire: mac osx device driver ninja, kernel extensions and usb drivers
---------------------+------------+---------------------------------------
http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont
---------------------+------------+---------------------------------------