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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 00E3F7F616 for ; Fri, 24 Feb 2017 10:28:56 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Sebastien.Hinderer@inria.fr; spf=None smtp.mailfrom=SRS0=bc00=2F=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org; spf=Pass smtp.helo=postmaster@sonata.ens-lyon.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Sebastien.Hinderer@inria.fr) identity=pra; client-ip=140.77.166.138; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=bc00=2F=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-sender="Sebastien.Hinderer@inria.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of SRS0=bc00=2F=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org) identity=mailfrom; client-ip=140.77.166.138; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=bc00=2F=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-sender="SRS0=bc00=2F=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@sonata.ens-lyon.org designates 140.77.166.138 as permitted sender) identity=helo; client-ip=140.77.166.138; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="SRS0=bc00=2F=inria.fr=Sebastien.Hinderer@bounce.ens-lyon.org"; x-sender="postmaster@sonata.ens-lyon.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3A7g5gNRM0DnJhBW/TXBsl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0I/38rarrMEGX3/hxlliBBdydsKMZzbOH+Pm7BCQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5Yb5+Ngi6oAHeusULj4ZvKrs6xwfUrHdPZ+?= =?us-ascii?q?lY335jK0iJnxb76Mew/Zpj/DpVtvk86cNOUrj0crohQ7BAAzsoL2465MvwtRne?= =?us-ascii?q?VgSP/WcTUn8XkhVTHQfI6gzxU4rrvSv7sup93zSaPdHzQLspVzmu87tnRRn1gy?= =?us-ascii?q?oBKjU38nzYitZogaxVoByvuQFxzY3aYI6aKPVxY6zTctEBSGpdXctcTTBNDp+g?= =?us-ascii?q?Y4YNCecKIOZWr5P6p1sLtRawGBOrC/j1xT9Tmn/23LM10+I8Gg/E3QwgGc8Bv2?= =?us-ascii?q?rOrNrrLqcZTOe4wrTWwjrYdfxWwiv96InWfRAnu/2CX7NwcczMxkYxDQPKkE+Q?= =?us-ascii?q?pJfkPzOTzOQNsnKU4/BuVeK1kmMqrRx6rDu3xso0l4XEiZ4ZxkrG+Ch72oo5ON?= =?us-ascii?q?y1RU9hbdK5HpZdtDmWOo9qTs84XW1ltzw2xqMGtJO0ZiQHypUqyhjCYPKdaYeI?= =?us-ascii?q?+AjsVOOJLDd4mn1lfLW/ig6p8UinzO3zTNW030xQoiVblNnMrWkB1xjT68iATP?= =?us-ascii?q?tx5ECh2SyA1wzL6+FEJ147lbbDJpI8zbM8ioAfvEbBEyPshUn7ja6bel859uWm?= =?us-ascii?q?6OnrerDmqYWdN49whAH+KKMumsmnDOolLgYAQnSX9Pyn27L/4UH1XK1HguM2nK?= =?us-ascii?q?TBsZDaI94bpq+jDANP3IYj8Q6yASq439sDh3YHN05FeBOZgIjvIV3AIvH4DfGi?= =?us-ascii?q?jFuyijdk2erGM6b6DZXKM3jDlqvucqhn50FCzgoz1slT55ZUC7EGJvL/QEjxtM?= =?us-ascii?q?bXDhMhKQy73/7nCMlh1oMZQW+PGa+ZMKLUsVCV+O0vOfeDaZQUuTb8Lvgq/OTu?= =?us-ascii?q?gmUjlV8ce6mpx5oXZ2qiEvRoOUWTeWDsjcsZEWcWogo+S/Tnh0GYXj5WY3a+Rq?= =?us-ascii?q?Y85jAgCIK6ForDXYCsgLmZ3CihBJFWZ2ZGCkqNEXjybYmEVe0MO2quJZpqmzkA?= =?us-ascii?q?ELygUJMJ1Be0tQa8xaA0APDT/3gjNJjqz8R06uubtRA0+TFuAt7Vh1qARWhvgm?= =?us-ascii?q?IFQXkW3aZzrFZw0H+C17J5irpWD4oAtLtyTg4mOMuEnKRBANfoV1eZcw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D6AgBx/K9YeoqmTYxdHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBg3aBCINsinudPIhmi1dAFwEBAQEBAQEBAQEBEgEBCQ0LBh8vgjM?= =?us-ascii?q?ggh4GIw8BVgsaAgUTDgICDy0big0ErRSCJot4gQuKMIUggjqCXwWcGmuRLYFwA?= =?us-ascii?q?Y8ykysCIAGBNjUjT4N7AQuCQ4saAwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0D6AgBx/K9YeoqmTYxdHAEBBAEBCgEBFwEBBAEBCgEBg3a?= =?us-ascii?q?BCINsinudPIhmi1dAFwEBAQEBAQEBAQEBEgEBCQ0LBh8vgjMggh4GIw8BVgsaA?= =?us-ascii?q?gUTDgICDy0big0ErRSCJot4gQuKMIUggjqCXwWcGmuRLYFwAY8ykysCIAGBNjU?= =?us-ascii?q?jT4N7AQuCQ4saAwEBAQ?= X-IronPort-AV: E=Sophos;i="5.35,200,1484002800"; d="scan'208";a="214574821" Received: from sonata.ens-lyon.org ([140.77.166.138]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 24 Feb 2017 10:28:48 +0100 Received: from localhost (localhost [127.0.0.1]) by sonata.ens-lyon.org (Postfix) with ESMTP id 6F081200DE; Fri, 24 Feb 2017 10:28:48 +0100 (CET) Received: from sonata.ens-lyon.org ([127.0.0.1]) by localhost (sonata.ens-lyon.org [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id kY9qsgJ2iEsw; Fri, 24 Feb 2017 10:28:48 +0100 (CET) Received: from pema.homeunix.org (AMontsouris-551-1-79-76.w90-24.abo.wanadoo.fr [90.24.254.76]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by sonata.ens-lyon.org (Postfix) with ESMTPSA id 4F022200D5; Fri, 24 Feb 2017 10:28:48 +0100 (CET) Received: from seb by pema.homeunix.org with local (Exim 4.88) (envelope-from ) id 1chCBD-0002Nl-M1; Fri, 24 Feb 2017 10:28:47 +0100 Date: Fri, 24 Feb 2017 10:28:47 +0100 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: <20170224092847.x3jixjp3swnf4kfg@pema> Mail-Followup-To: caml-list@inria.fr References: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: Subject: Re: [Caml-list] OCamldebug Tom Ridge (2017/02/24 09:16 +0000): > My functors never hide anything, and always include the input module as a > submodule of the output module. So I hope that type equalities are as > maximally visible as they could be. But ocamldebug doesn't seem to get > it :( May that be worth a feature request on Mantis? Sébastien.