From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id CA8055D5 for ; Thu, 29 Nov 2018 09:03:13 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,294,1539640800"; d="scan'208,217";a="357911004" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Nov 2018 10:03:07 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 18B4982557; Thu, 29 Nov 2018 10:03:07 +0100 (CET) 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 EE030824CF for ; Thu, 29 Nov 2018 10:02:57 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=danny.gratzer@gmail.com; spf=Pass smtp.mailfrom=danny.gratzer@gmail.com; spf=None smtp.helo=postmaster@mail-io1-f47.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ArAv0JxOr+7/t9jxe+dIl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0Lfz8rarrMEGX3/hxlliBBdydt6oUzbKO+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxlLiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPde?= =?us-ascii?q?RWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbY?= =?us-ascii?q?UwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhS?= =?us-ascii?q?gIOT428mHZhMJzgqxGvhyuuwdyzJTIbIyPLvdyYr/RcNEcSGFcXshRTStBAoak?= =?us-ascii?q?YoUBFeUBO+BYrongrFUPtxuxHxWsBeLxxT9Sm3T72rA13P4nEQHA3A0sBd0OsG?= =?us-ascii?q?7Oo9XpNaYdT/q1wbLHzTXGdfxW2DP95JLUfRAmpPGBRLR9etfSx0k3Dw7JkEmc?= =?us-ascii?q?pIj/Mz6W1ukBqXWX4uthWO61hGMqqQd8qSW1yMg2kInGnIcVx0jE9SpnxIY1Is?= =?us-ascii?q?W1SEthbt6lFJtcriCaN4xrTs87TWFltyQ3xqcJuZ68eygKx5AnyADFZ/ObdIiI?= =?us-ascii?q?5wrvVOeXIThmmHJoYKyziwq2/ES6yeDxVtO43EtLoydEiNXBuXIA2wTW6sedS/?= =?us-ascii?q?t9+kmh2SyI1wDW8uxLPFo7lazdK58h2LIwmYATvl7fHi73hkr2lrSbdkoh+uey?= =?us-ascii?q?6uTnZq/qqYObN49xkg3+KLghmtSjAeQkNQgDR3SU9v651L3n5EH5RLRKjuYqkq?= =?us-ascii?q?TCq5DbJcEbprajDANP04Yj7Qy/Dza839gCk3kHNgENRBXSnpLmE1DUIf6+A+3s?= =?us-ascii?q?rU6rlWJHzvbAL/XOGJzRPHXZ2OPtdLB7+ghT0gMv391Fz51RA7AFZvn0Xxmi55?= =?us-ascii?q?TjEhYlPlnskK7cA9Jn29ZGADPdMuqiKKrX9GSwyKcqKuiIapUSvW+kefcg7v/q?= =?us-ascii?q?y3Q+nA1EJPX77d4scHm9W89eDQCBe3O124UOFG4Lukw1S+m40ATfAw4WXG67Wu?= =?us-ascii?q?cH3h9+CI+iCt2eFIWkgbjE3SDiW5MKOSZJDVeDFXqufIKBCa8B?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C4AAAMqv9bgC+mVdFlHQEBBQEHBQGBV?= =?us-ascii?q?AUBCwGDayeDeYEdgl6QJYsuboRLgxSHTg2EbAKDLxoHAQQzBg0BAwEBAgEBAQE?= =?us-ascii?q?BEwEBCQ0JCCclDII2IoJbCgYjHQEbHQEDDAYFAwECBTcCAiIBEQEFARyDOoFpA?= =?us-ascii?q?QMVmmE8iw2BEgUBF4J3BYQ+ChknDV2BNwIGEowEgVc/hCOFToI3glcCiTKWbQc?= =?us-ascii?q?Cgh0EhByKdRiBSwGPTpg7DyGBO4F3MxojUDGCO4IbNYM4ilRBMI45AQE?= X-IPAS-Result: =?us-ascii?q?A0C4AAAMqv9bgC+mVdFlHQEBBQEHBQGBVAUBCwGDayeDeYE?= =?us-ascii?q?dgl6QJYsuboRLgxSHTg2EbAKDLxoHAQQzBg0BAwEBAgEBAQEBEwEBCQ0JCCclD?= =?us-ascii?q?II2IoJbCgYjHQEbHQEDDAYFAwECBTcCAiIBEQEFARyDOoFpAQMVmmE8iw2BEgU?= =?us-ascii?q?BF4J3BYQ+ChknDV2BNwIGEowEgVc/hCOFToI3glcCiTKWbQcCgh0EhByKdRiBS?= =?us-ascii?q?wGPTpg7DyGBO4F3MxojUDGCO4IbNYM4ilRBMI45AQE?= X-IronPort-AV: E=Sophos;i="5.56,294,1539640800"; d="scan'208,217";a="357910833" Received: from mail-io1-f47.google.com ([209.85.166.47]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 29 Nov 2018 10:02:51 +0100 Received: by mail-io1-f47.google.com with SMTP id s22so952547ioc.8 for ; Thu, 29 Nov 2018 01:02:51 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=zp1O7y/zEnjB9S0NzR6qsqHhqhmuyyJJmEsuNeC6yls=; b=kdhFb9Cr3FPHNaNvolJEl+ZOSJ/vLvVenFTIXQoqpELaZI16tQ12s/rURD3jtFRupJ HTjfIIL4P3CqA1g4JMLmLnkh/zHSFGKmDB3reejmRrC45GeAvnpG9NLhMjjgeYNtWwSn umP2BG9oeduk82jXNlLSPhJwC/tyFaIcSdV4rQzHswk6wNDOJVCgaN7Gi58A4M8bgXH4 4xobXEguJItRPGveibdiSp7IJwFZKUFozvrUGBa5blNtLnQaClfHHinac5ZRMlqv5j7O Q/SAQhSm8PyxUEiRkGbwWIp1cvDNwrOrSYQ439vIhyBBkbX2/3Pqoriwg5uG9K0UcTt7 fRfg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=zp1O7y/zEnjB9S0NzR6qsqHhqhmuyyJJmEsuNeC6yls=; b=R42+7g4vr+IR3E48GIlcjas8/5OSej9GqM0rB1jEQDyPjSSrxx+5weOZW0/ioMDfBW yEAnGpM0rhHM5TqclkzhVc5nzmoknnlT/aJXom9Lr3BYlNL5zuuA8hgQb8N5198GdBsD o072ZcRnXvIdzCWzibCzgj+Q9ADn2u/ZLm+VUYuNDB0oXngJKDur9OX+Wfb5xifVeYPg Ptny/Vg6AOkrVSzQFLrZxeXIxyt2T82Xz1gGqLkSNCzOLploNx2wVMcivq13ebL20SNa dVjmLcd4m996IBFE9NPPHcNw/tsYIMYvIT7wM3bgYsvdrIihwqrQ1I4FhghxlgYW18wa soQQ== X-Gm-Message-State: AA+aEWYVJGzSmBJr3KONeDHubL78YPZYEUmCq1Abs7EmfSDSwrdSZ8C/ bVhKRyLK9Yv7/cqC9c5hVDV8G+ruOMEalpXFJjw= X-Google-Smtp-Source: AFSGD/Ww5PWlH0zXW+IiopSMya3WplM6AUfTdecm/yFcfK6H1wiNv4CK+NZtvUQ689aHfvP6ShoV7sM7L6Ja+RxV+KI= X-Received: by 2002:a6b:e612:: with SMTP id g18mr516007ioh.292.1543482169035; Thu, 29 Nov 2018 01:02:49 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Danny Gratzer Date: Thu, 29 Nov 2018 10:02:12 +0100 Message-ID: To: yrg@irif.fr Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary="0000000000006713d2057bc9f211" Subject: Re: [Caml-list] include two module implementations sharing the same type definitions Reply-To: Danny Gratzer X-Loop: caml-list@inria.fr X-Sequence: 17190 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --0000000000006713d2057bc9f211 Content-Type: text/plain; charset="UTF-8" Hello, Perhaps I'm overlooking something but replacing include BI with include (BI : B with type t := t) seems like a reasonable fix to me. Danny -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs --0000000000006713d2057bc9f211 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello,

Perhaps I= 'm overlooking something but replacing

=C2=A0 =C2=A0= include BI

with

=C2=A0 = =C2=A0=C2=A0include (BI : B with type t :=3D t)

se= ems like a reasonable fix to me.

Danny
=
--0000000000006713d2057bc9f211--