From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 434237EEE0 for ; Wed, 18 Mar 2015 11:24:36 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yallop@gmail.com) identity=pra; client-ip=209.85.192.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of yallop@gmail.com designates 209.85.192.47 as permitted sender) identity=mailfrom; client-ip=209.85.192.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qg0-f47.google.com) identity=helo; client-ip=209.85.192.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="postmaster@mail-qg0-f47.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DzAADdUQlVlC/AVdFchDIEgwnIZAKBQwdMAQEBAQEBEQEBAQEHCwsJEjCEEAEBBBIRBBkBGx0BAwwGBQsNAgImAgIiAREBBQEcBhMih3gBAxGkCD4xizGBa4J3kGMKGScNVIRnAQEBAQYBAQEBARcBBQ6BE4l2hHEHgmiBRQWaLZJaEiOBDAmEET4xgkMBAQE X-IPAS-Result: A0DzAADdUQlVlC/AVdFchDIEgwnIZAKBQwdMAQEBAQEBEQEBAQEHCwsJEjCEEAEBBBIRBBkBGx0BAwwGBQsNAgImAgIiAREBBQEcBhMih3gBAxGkCD4xizGBa4J3kGMKGScNVIRnAQEBAQYBAQEBARcBBQ6BE4l2hHEHgmiBRQWaLZJaEiOBDAmEET4xgkMBAQE X-IronPort-AV: E=Sophos;i="5.11,422,1422918000"; d="scan'208";a="126536804" Received: from mail-qg0-f47.google.com ([209.85.192.47]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Mar 2015 11:24:35 +0100 Received: by qgfa8 with SMTP id a8so32355984qgf.0; Wed, 18 Mar 2015 03:24:34 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=/3+Nq5DfqbEPSypcx5y3NUqZFgNHp0xNiEoPdI1Ovk8=; b=O1Z/yPbsz38otnUn0piAo7szQppMpFp7sqRXJDvjp9rf1CqhPa6Ro38Rf85BMWZKS4 qUOnUzJFdlxno5Ppwncb6QomQT4dpO3QdzLke12ja/b0NjK2WZIXOUTRAqLQ1JgpnCdE +uLvQe97k+yGRUMP67vQZgDiy7S/LrLtTuBqnKzhYk+XtUef888KwiOgIi3Hna81Sdrx QsPqR+CcfFyKajLlxoNJ1fyHgLKcmBRcMai7eD0xPQQWBWIBAIq1H0fTBFZm4qTUv4ty vKKpsOzk5wsDnylxdwpm8+KteoQW3HymaEwMPz+3nnfDWh0zZLILw+0phoqD+L42qOvt 0xmw== MIME-Version: 1.0 X-Received: by 10.140.238.2 with SMTP id j2mr89466721qhc.5.1426674274676; Wed, 18 Mar 2015 03:24:34 -0700 (PDT) Received: by 10.229.160.11 with HTTP; Wed, 18 Mar 2015 03:24:34 -0700 (PDT) In-Reply-To: <20150318111918.1a97f7d4@alcazar2> References: <20150318111918.1a97f7d4@alcazar2> Date: Wed, 18 Mar 2015 10:24:34 +0000 Message-ID: From: Jeremy Yallop To: Maxence Guesdon Cc: Caml List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] mixing GADTs and first class modules On 18 March 2015 at 10:19, Maxence Guesdon wrote: > module type M = sig type t end;; > type _ foo = T : (module M) -> M.t foo;; > > but it does not seem so, as I can't refer to type t of the module > parameter: > Error: Unbound type constructor M.t > > Is there a workaround ? Yes: type _ foo = T : (module M with type t = 'a) -> 'a foo