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 C40C180161 for ; Tue, 20 Jun 2017 12:03:45 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=dario.teixeira@nleyten.com; spf=None smtp.mailfrom=dario.teixeira@nleyten.com; spf=None smtp.helo=postmaster@relay3-d.mail.gandi.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dario.teixeira@nleyten.com) identity=pra; client-ip=217.70.183.195; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dario.teixeira@nleyten.com"; x-sender="dario.teixeira@nleyten.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of dario.teixeira@nleyten.com) identity=mailfrom; client-ip=217.70.183.195; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dario.teixeira@nleyten.com"; x-sender="dario.teixeira@nleyten.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@relay3-d.mail.gandi.net) identity=helo; client-ip=217.70.183.195; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="dario.teixeira@nleyten.com"; x-sender="postmaster@relay3-d.mail.gandi.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A5MGEkh+ayfXgrP9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?1e0cTK2v8tzYMVDF4r011RmSDNqds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2e2//5/ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMNboRr4oRzut86ZrSAfpiC?= =?us-ascii?q?gZMT457HrXgdF0gK5CvR6tuwBzz4vSbYqINvRxY7ndcMsVSmVdUchfWSxPDJ2h?= =?us-ascii?q?YYQNAeoPPulZoIfmqlsSrxa+BxWgCP/1xzNWgHL9wK000/4mEQHDxAEuEcgBsG?= =?us-ascii?q?7VrNXyKawcT/66zKjHzDrdbvNWwy3y45XPfx88u/6MR7Nwcc3LxUkzCQzFj1qR?= =?us-ascii?q?ppLkPzOPzOsAqG6b7+5+WuOvl24otQdxriKzyccrj4nEn4QYwU3K+yV+xYY6P9?= =?us-ascii?q?y4SEhjbN6lFptQrSCaOJFsTsMsWWFlvjsxxL4euZOjYiQG1ZYqywTdZvCbaYSE?= =?us-ascii?q?/xHuWeiLLTtlgH9oeKqziwuu/US6yuDxVdO43EtQoiZYndTBsnYA3AHJ5MedUP?= =?us-ascii?q?ty5EKh1C6P1w/N7uFEJlg5lbDFJJ4l2LExlpQevV3eESPsnUX5lq6WdkE+9uin?= =?us-ascii?q?8evnZKjppp6GO49ylA7+Lrwims25AesmLggDR3aX9fm+2bH5/0D1XK9GguA1n6?= =?us-ascii?q?TXqpzWOMAWq66hDw9QyIkj6hK/Dzm80NQfmHkKNE9Kdwidj4joPFHCOuz4Aum+?= =?us-ascii?q?g1WjjjhrxurGMaf6D5XLKnjMjrfgfapj5E5a0gY80ddf55dMBrEbPP3zQlPxtM?= =?us-ascii?q?DfDhIhLwO72ePnCNFk2oMaWGKPGbOZPbjJsV6I4+IvO/ODaJUUuDb7Mfgl5uTh?= =?us-ascii?q?gWU3mV8HLuGV2s48aGq5BehhO0WUKUDljNkIFWML9l41TPbrk0GFST5eT2y7Ua?= =?us-ascii?q?w14jU6To+7W9TtXIeo1ZCIxia8VqFbZ3BLC0qFWSPkfp+FXLEQZSOCL857mxQC?= =?us-ascii?q?UbWwV4InkxqpsVmpmPJcMuPI93hA5trY399v6riWzElq+A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AQAQB08khZhsO3RtlcHgYMGQYMhA+BD?= =?us-ascii?q?QEGjnCRC5gJLIV4AoJcQxQBAQEBAQEBAQEBARIBAQEICwsIKC+CMyQBgkEBAgI?= =?us-ascii?q?BOAI/BQsEB0ZXBhuKHAwMryqLXAEBAQcCASWGbIUEilwFnmGCFoUcjCaBeW6PM?= =?us-ascii?q?JUIAjZgS1EjXoUdgXN1AYhLgQ0BAQE?= X-IPAS-Result: =?us-ascii?q?A0AQAQB08khZhsO3RtlcHgYMGQYMhA+BDQEGjnCRC5gJLIV?= =?us-ascii?q?4AoJcQxQBAQEBAQEBAQEBARIBAQEICwsIKC+CMyQBgkEBAgIBOAI/BQsEB0ZXB?= =?us-ascii?q?huKHAwMryqLXAEBAQcCASWGbIUEilwFnmGCFoUcjCaBeW6PMJUIAjZgS1EjXoU?= =?us-ascii?q?dgXN1AYhLgQ0BAQE?= X-IronPort-AV: E=Sophos;i="5.39,364,1493676000"; d="scan'208";a="279775236" Received: from relay3-d.mail.gandi.net ([217.70.183.195]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 20 Jun 2017 12:03:22 +0200 Received: from mfilter41-d.gandi.net (mfilter41-d.gandi.net [217.70.178.173]) by relay3-d.mail.gandi.net (Postfix) with ESMTP id 624A5A80F5; Tue, 20 Jun 2017 12:03:22 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at mfilter41-d.gandi.net Received: from relay3-d.mail.gandi.net ([IPv6:::ffff:217.70.183.195]) by mfilter41-d.gandi.net (mfilter41-d.gandi.net [::ffff:10.0.15.180]) (amavisd-new, port 10024) with ESMTP id 0HrBeSiELu5o; Tue, 20 Jun 2017 12:03:21 +0200 (CEST) X-Originating-IP: 10.58.1.149 Received: from webmail.gandi.net (webmail9-d.mgt.gandi.net [10.58.1.149]) (Authenticated sender: dario.teixeira@nleyten.com) by relay3-d.mail.gandi.net (Postfix) with ESMTPA id 8A939A8119; Tue, 20 Jun 2017 12:03:13 +0200 (CEST) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII; format=flowed Content-Transfer-Encoding: 7bit Date: Tue, 20 Jun 2017 11:03:13 +0100 From: Dario Teixeira To: Christophe Raffalli Cc: caml-list In-Reply-To: <20170620093641.ovz6dnsghtdj6tv6@delli7.univ-savoie.fr> References: <20170620093641.ovz6dnsghtdj6tv6@delli7.univ-savoie.fr> Message-ID: <6cd8705bcf05d1cfb4e21d132fd9ee1b@nleyten.com> X-Sender: dario.teixeira@nleyten.com User-Agent: Roundcube Webmail/1.1.2 Subject: Re: [Caml-list] module equality Hi, > I thought that two applications of Set.Make to > the same module would result in two distinct > modules with two distinct types 't'. > > This is not the case, and I am no sure it is a > good choice as it allows to write the following, > where you can break the invariant of a functor: OCaml functors have always been applicative. However, since 4.02 you can also declare generative functors, which have the behaviour that you want: http://caml.inria.fr/pub/docs/manual-ocaml/extn.html#sec253 Hope this helps. Cheers! Dario Teixeira