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 5CB8E5D5 for ; Thu, 29 Nov 2018 09:07:52 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,294,1539640800"; d="scan'208,217";a="357912312" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 29 Nov 2018 10:07:51 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 34A2382557; Thu, 29 Nov 2018 10:07:51 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 1DF42824CF for ; Thu, 29 Nov 2018 10:07:45 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yrg@irif.fr; spf=Pass smtp.mailfrom=yrg@irif.fr; spf=None smtp.helo=postmaster@korolev.univ-paris7.fr IronPort-PHdr: =?us-ascii?q?9a23=3A91HhKBZed397fFVbxXp7gr3/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMq6bnLW6fgltlLVR4KTs6sC17KG9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCa+bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjm58axlVAHnhz?= =?us-ascii?q?sGNz4h8WHYlMpwjL5AoBm8oxBz2pPYbJ2JOPZ7eK7WYNEUSndbXstJWCNBDIGz?= =?us-ascii?q?YYsBAeQCIOhWsZXyqkAUoheiHwShHv/jxiNKi3LwwKY00/4hEQbD3AE4Hd0Bqn?= =?us-ascii?q?LUrNPoP6kOS+e1w6jIzS7aY/1X2Dfy8o7IfQo6ofqRWr9xcdDRyUY0GgPElFWQ?= =?us-ascii?q?qILlMymb1uQXqmWW6fdrW+G3i2M/tg18pjeiyt0yhoTJiY8Z0FHJ+ThjzIooK9?= =?us-ascii?q?C1S1Z3bcC4HJZUrS2XNIt7Ttk8T211pCo20KAKtJ2ncCUM1Z8p3QTQa+adfIiN?= =?us-ascii?q?+h/jVPieITN/hH99e7K/gAyy8U+kyuLiSMm4yktKrixEktnSr3wNzwbc6tKGSv?= =?us-ascii?q?tm/EqtwziP1xrL5uFFJ0A7i7bbJoY8zrM0mZcfq1rPEy/5lUnsjaKaa18o9vWm?= =?us-ascii?q?5unkernmo4WTN45wigHwKKQuncm/DPw4MwgUUGiW4uW81Kfi/U33WrlKgOc2nr?= =?us-ascii?q?HDsJ/GPcQburK5AwhN34k/8Rm/CjOm3M0cnXkGN1JFZAmKj5PpOlHLOPD3F+2z?= =?us-ascii?q?g1WqkDdxxvDJJKftApvXLiuLrLC0Ub977V8U5xA60cJS/doABrgHJuO1VVX4qM?= =?us-ascii?q?7VFDc2NgW1x6DsD9Arha0EXmfaM6afNuvoMFCJ/acAIuCKbZRd7CfnJNAk/f/g?= =?us-ascii?q?y3EjzwxONZK11IcaPSjrVs9tJF+UND+12o9YQDU6+zEmRemvs2WsFDtaZnK8Ra?= =?us-ascii?q?U5t2M6EoOoS4nZFNn03O6xmRyjF5gTXVhoT0iWGCa6dp+FVbECcnDKe5Izonk/?= =?us-ascii?q?TbGkDrQZ+1SuuQv9keY1Le3O/SkVq9T+0tlrovXajxApqnp6FZbF3g=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CdAgBCq/9bh4o9/sJlHgEGBwaBZQKBL?= =?us-ascii?q?4I7J4N5gR2HWospgg0PiQF2jzYLAQErAYRAAoMvGgcBBDUFDAEDAQECAQEBAQE?= =?us-ascii?q?TAQEBCgsJCCkvgjYkAYJiAQQBI1YFCwsEAQY3AgIhARIBBQEcBhODIYFqAw0IA?= =?us-ascii?q?QOaaDyLDYEviAQNgQ6BDowWF4F/hCOCV4UuglcCiTKWPy4JgQyFMYdJgywYkRq?= =?us-ascii?q?OYYlCAgQGBQIFDgEhgQU4gXVNJxE7MQaCNYI1G44MQDGBBQEBjTIBAQ?= X-IPAS-Result: =?us-ascii?q?A0CdAgBCq/9bh4o9/sJlHgEGBwaBZQKBL4I7J4N5gR2HWos?= =?us-ascii?q?pgg0PiQF2jzYLAQErAYRAAoMvGgcBBDUFDAEDAQECAQEBAQETAQEBCgsJCCkvg?= =?us-ascii?q?jYkAYJiAQQBI1YFCwsEAQY3AgIhARIBBQEcBhODIYFqAw0IAQOaaDyLDYEviAQ?= =?us-ascii?q?NgQ6BDowWF4F/hCOCV4UuglcCiTKWPy4JgQyFMYdJgywYkRqOYYlCAgQGBQIFD?= =?us-ascii?q?gEhgQU4gXVNJxE7MQaCNYI1G44MQDGBBQEBjTIBAQ?= X-IronPort-AV: E=Sophos;i="5.56,294,1539640800"; d="scan'208,217";a="287230778" Received: from korolev.univ-paris7.fr ([194.254.61.138]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 29 Nov 2018 10:07:44 +0100 Received: from potemkin.univ-paris7.fr (potemkin.univ-paris7.fr [IPv6:2001:660:3301:8000::1:1]) by korolev.univ-paris7.fr (8.14.4/8.14.4/relay1/82085) with ESMTP id wAT97bAK024770 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO) for ; Thu, 29 Nov 2018 10:07:37 +0100 Received: from mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [81.194.30.253]) by potemkin.univ-paris7.fr (8.14.4/8.14.4/relay2/82085) with ESMTP id wAT97dR3031716 for ; Thu, 29 Nov 2018 10:07:39 +0100 Received: from mailhub.math.univ-paris-diderot.fr (localhost [127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTP id C745C343CA for ; Thu, 29 Nov 2018 10:07:43 +0100 (CET) X-Virus-Scanned: amavisd-new at math.univ-paris-diderot.fr Received: from mailhub.math.univ-paris-diderot.fr ([127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [127.0.0.1]) (amavisd-new, port 10023) with ESMTP id nUX0K0z3kYB0 for ; Thu, 29 Nov 2018 10:07:41 +0100 (CET) Received: from mail-pf1-f180.google.com (mail-pf1-f180.google.com [209.85.210.180]) (Authenticated sender: yrg) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id 8B73B343C1 for ; Thu, 29 Nov 2018 10:07:41 +0100 (CET) Received: by mail-pf1-f180.google.com with SMTP id b85so709998pfc.3 for ; Thu, 29 Nov 2018 01:07:41 -0800 (PST) X-Gm-Message-State: AA+aEWZW4PkJm77c9hE7GOjplvF7WZhN6ulr/tgK8qk7hC+EZftSYwLZ 3UFMrcJE7KwCi/q7B85tHXedWQplIZhjkEvwAY4= X-Google-Smtp-Source: AFSGD/Xy9Y8J3yhMlxy/+naAO6RejqE2Zsq93xh4F+alavEkhj9KldbOkhSwkJtXzhMmDp606a+khPeI5yAIzkCoJd8= X-Received: by 2002:a63:585c:: with SMTP id i28mr561714pgm.178.1543482460247; Thu, 29 Nov 2018 01:07:40 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: =?UTF-8?B?WWFubiBSw6lnaXMtR2lhbmFz?= Date: Thu, 29 Nov 2018 10:07:29 +0100 X-Gmail-Original-Message-ID: Message-ID: To: Danny Gratzer Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000c29de1057bca037a" X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (korolev.univ-paris7.fr [IPv6:2001:660:3301:8000::1:2]); Thu, 29 Nov 2018 10:07:37 +0100 (CET) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (potemkin.univ-paris7.fr [194.254.61.141]); Thu, 29 Nov 2018 10:07:39 +0100 (CET) X-Miltered: at korolev with ID 5BFFAC59.002 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-Miltered: at potemkin with ID 5BFFAC5B.002 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 5BFFAC59.002 from potemkin.univ-paris7.fr/potemkin.univ-paris7.fr/null/potemkin.univ-paris7.fr/ X-j-chkmail-Enveloppe: 5BFFAC5B.002 from mailhub.math.univ-paris-diderot.fr/mailhub.math.univ-paris-diderot.fr/null/mailhub.math.univ-paris-diderot.fr/ X-j-chkmail-Score: MSGID : 5BFFAC59.002 on korolev.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Score: MSGID : 5BFFAC5B.002 on potemkin.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Status: Ham X-j-chkmail-Status: Ham Subject: Re: [Caml-list] include two module implementations sharing the same type definitions Reply-To: =?UTF-8?B?WWFubiBSw6lnaXMtR2lhbmFz?= X-Loop: caml-list@inria.fr X-Sequence: 17191 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: --000000000000c29de1057bca037a Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hello Danny, and thank you! That is clearly a nice work around even though it may require to introduce unnecessary module signatures for the only purpose of composing module implementations. Cheers, Le jeu. 29 nov. 2018 =C3=A0 10:02, Danny Gratzer a =C3=A9crit : > Hello, > > Perhaps I'm overlooking something but replacing > > include BI > > with > > include (BI : B with type t :=3D t) > > seems like a reasonable fix to me. > > Danny > --=20 Yann R=C3=A9gis-Gianas --=20 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= --000000000000c29de1057bca037a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello Danny,

and thank you! That is cle= arly a nice work around even though it may require to introduce unnecessary= module signatures for the only purpose of composing module implementations= .

Cheers,

--
Yann R=C3=A9gis-Gianas

--000000000000c29de1057bca037a--