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 q33Ht5NT030777 for ; Tue, 3 Apr 2012 19:55:06 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhoDAJk4e0/QYYR3d2dsb2JhbABDhViyNSoBDAsJCRckggoBAQQSAg8dAwE1AQEOCwsDDAImAgIiEgEFARwGEyKHZ6ErCopaboNFhjsBBoEvjh+BGJVnjlA9hCY X-IronPort-AV: E=Sophos;i="4.75,364,1330902000"; d="scan'208";a="152546493" Received: from caiajhbdcbbj.dreamhost.com (HELO homiemail-a88.g.dreamhost.com) ([208.97.132.119]) by mail1-smtp-roc.national.inria.fr with ESMTP; 03 Apr 2012 19:54:59 +0200 Received: from homiemail-a88.g.dreamhost.com (localhost [127.0.0.1]) by homiemail-a88.g.dreamhost.com (Postfix) with ESMTP id 3B6DE26406C for ; Tue, 3 Apr 2012 10:54:58 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; c=nofws; d=0ok.org; h=mime-version :in-reply-to:references:from:date:message-id:subject:to:cc: content-type; q=dns; s=0ok.org; b=NnpRwFuMHzz29Bs8WRGOQHT7en5L0l WbOwQ/L1ktZ8VphG7UnmJT6F4NNrHhvWp38a3TcnmL7CIKz6NZz1VH5vfkEDREV7 bqJ5AoIbD6xvA4j/TxDpFHDSYIi+4VBa39a3O3BynYCt/jBnoEWTRzIkKlncox2v FhxfITaGLWIMY= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=0ok.org; h=mime-version :in-reply-to:references:from:date:message-id:subject:to:cc: content-type; s=0ok.org; bh=12GmeFs+nfm3XvOhsp0xlGx8rzA=; b=VdXZ H7pHc0LePqxbf8ZllDdg3Iof5/bT9LNVHCJQAU40CjMb6/ZK6q2WdK9ywlo/SfT5 Tw4L2VluUEX1UZVeA21c3hMESQw38MC2Qh+KDNl93nhVVLN4DIfT2C8fVoyCmEFO Gd+S0MeC/56K9kxHpeUQv+3HUPWsbRccG8J/i3Y= Received: from mail-ob0-f182.google.com (mail-ob0-f182.google.com [209.85.214.182]) (using TLSv1 with cipher RC4-SHA (128/128 bits)) (No client certificate requested) (Authenticated sender: hez@0ok.org) by homiemail-a88.g.dreamhost.com (Postfix) with ESMTPSA id D763B26406B for ; Tue, 3 Apr 2012 10:54:57 -0700 (PDT) Received: by obbwc18 with SMTP id wc18so9341495obb.27 for ; Tue, 03 Apr 2012 10:54:56 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:x-gm-message-state; bh=ZpPgn+rknJFvdNKdA17sFRtx/8rm3Kp2w+ssY0NCmg4=; b=IfE8z2+Ij8O4oJ1zprwNWdK8HZjAAsZrH38sicWKU50vCPZQCHgJNq9ozDvYsKFK/F fInznW+jeNlY5wTk8AVVHhPnVAqz6JkbzddUrdGAQQh85dmUXPb52dlhlD3QEEgiKPAa TjBg0FgxNJ6GwV5BL8XFZ7pkxJWG+upHqWOA8NeNJeVb+s+tc/xx+U8+O3/Op50M1Owl u4CrvEvFilEfRWK9/x1rQI65sM7zrzOdgBgqkRaUMHOVUZyTC8haV7zzkaZVnqO4eT+1 NhTDU8D1tLvjuvYvjB8i8S42GpGEoX3eqMDsdYtm8h4rhKztqydhgpYqY3jPIZHDd3TH Xvig== Received: by 10.182.52.104 with SMTP id s8mr19955619obo.59.1333475696584; Tue, 03 Apr 2012 10:54:56 -0700 (PDT) MIME-Version: 1.0 Received: by 10.60.135.201 with HTTP; Tue, 3 Apr 2012 10:54:36 -0700 (PDT) In-Reply-To: <4F7ADDAF.2030201@wp.pl> References: <4F7ADDAF.2030201@wp.pl> From: "Hezekiah M. Carty" Date: Tue, 3 Apr 2012 13:54:36 -0400 Message-ID: To: Dawid Toton Cc: Caml Content-Type: text/plain; charset=UTF-8 X-Gm-Message-State: ALoCoQlS+EYAe4/gskmXXRPYB5C6O9qoIPs02oPNNpQ1qtXTrXUdA2c88mlavC3HxIyZaA0lvPa5 Subject: Re: [Caml-list] When functor yields many types - include a module with extra type equality? On Tue, Apr 3, 2012 at 7:23 AM, Dawid Toton wrote: > module type S = sig > include (module type of S) (* 1 *) > val not_much_code : t > end > > How to do what I mark with (* 1 *) and (* 2 *) correctly? Would it help if I > upgrade my toolchain from 3.11.2 to some more recent version? > Dawid > You can do (* 1 *) as-written in OCaml 3.12.x although I don't think the ( ) are necessary. Hez