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 19F8A7FDEE for ; Thu, 2 Jun 2016 23:59:32 +0200 (CEST) IronPort-PHdr: 9a23:rvJsJhdOABz9S+0f5or4FFTIlGMj4u6mDksu8pMizoh2WeGdxc+4bB7h7PlgxGXEQZ/co6odzbGG4ua+ACdYu96oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDjvcOKKF0SzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IeezAcq85Vb1VCig9eyBwvZWz9EqLcQza13IGVWNetxtOGAvUpEXrW5b3qSjrnuh03iSBIdf7QKxyUjOnueMjZxbikiYKM3YC+2HakMFqxPZUqRi7phF7hZXfYIyPOeBWcabUfNdcTm1ECJV/TStEV8mXZpECE/YMea56poLkulYV51PqDgC2Cf/zxxdNjXr/xrE3yaIqGFeVj0QbA9sSvSGM/53OP6AIXLXwlfGQwA== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=carette@mcmaster.ca; spf=None smtp.mailfrom=carette@mcmaster.ca; spf=None smtp.helo=postmaster@FHSHC2D11-2.csu.mcmaster.ca Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of carette@mcmaster.ca) identity=pra; client-ip=130.113.22.2; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="carette@mcmaster.ca"; x-sender="carette@mcmaster.ca"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of carette@mcmaster.ca) identity=mailfrom; client-ip=130.113.22.2; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="carette@mcmaster.ca"; x-sender="carette@mcmaster.ca"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@FHSHC2D11-2.csu.mcmaster.ca) identity=helo; client-ip=130.113.22.2; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="carette@mcmaster.ca"; x-sender="postmaster@FHSHC2D11-2.csu.mcmaster.ca"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DbAgAtq1BXfgIWcYJegw6CBbpCgXmGEgKBNjoSAQEBAQEBAQERAQELCwkJIS9BEgGBXIIWAQEEOj8QAgEIDhQUEDIlAQEEAQ0NiCcBwnYBAQEBAQUBAQEBAQEBAQEeinSEQoMqgi4FmDEGAY9yAY1Ij0wlBYIxHIFLhg2EXgF+AQEB X-IPAS-Result: A0DbAgAtq1BXfgIWcYJegw6CBbpCgXmGEgKBNjoSAQEBAQEBAQERAQELCwkJIS9BEgGBXIIWAQEEOj8QAgEIDhQUEDIlAQEEAQ0NiCcBwnYBAQEBAQUBAQEBAQEBAQEeinSEQoMqgi4FmDEGAY9yAY1Ij0wlBYIxHIFLhg2EXgF+AQEB X-IronPort-AV: E=Sophos;i="5.26,408,1459807200"; d="scan'208";a="220883578" Received: from fhshc2d11-2.csu.mcmaster.ca ([130.113.22.2]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 02 Jun 2016 23:59:31 +0200 Received: from FHSDB2D11-2.csu.mcmaster.ca ([fe80::2924:2ca:3cbc:4521]) by FHSHC2D11-2.csu.mcmaster.ca ([2002:8271:1602::8271:1602]) with mapi id 14.03.0279.002; Thu, 2 Jun 2016 17:59:29 -0400 From: "Carette, Jacques" To: Yaron Minsky , Gabriel Scherer CC: "caml-list@inria.fr" Thread-Topic: [Caml-list] Option to fully expand types in error messages? Thread-Index: AdG9A5GLssEk6Qd8TUiu0LqSgShZcwAJSpkAAAAzQwD//+CiRg== Date: Thu, 2 Jun 2016 21:59:28 +0000 Message-ID: References: , In-Reply-To: Accept-Language: en-CA, en-US Content-Language: en-CA X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [130.113.22.227] x-tm-as-product-ver: SMEX-11.0.0.1191-8.000.1202-22366.005 x-tm-as-result: No--31.039900-8.000000-31 x-tm-as-user-approved-sender: No x-tm-as-user-blocked-sender: No Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Subject: RE: [Caml-list] Option to fully expand types in error messages? I will try the ``short-paths'' flag and report back. We're also trying to = produce a reasonably-sized self-contained example. (I did not know about short-paths, so that is definitely worth a try) Jacques=