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 7A9BD7FA5C for ; Fri, 13 May 2016 14:32:19 +0200 (CEST) IronPort-PHdr: 9a23:0rxMvRNEd1ws/YGlgf0l6mtUPXoX/o7sNwtQ0KIMzox0KPX8rarrMEGX3/hxlliBBdydsKIVzbCP+Py5EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35Xxjbn5p8SbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskzsRAGV53YYGl4dkhdSDhKNuB7zVI3wvy+8reF91TOXJ+X5SLk1XXKp6KI9GzHyjyJSfQU+/W7LkMtoyOp+oRmhrhF7icaAZYCeNPNzeuXGet4VWXBGRu5QUTBMBsW3aI5ZXLlJBvpRs4So/whGlhC5HwT5Qbq3kjI= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.soegtrop@intel.com; spf=Pass smtp.mailfrom=michael.soegtrop@intel.com; spf=None smtp.helo=postmaster@mga04.intel.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of michael.soegtrop@intel.com) identity=pra; client-ip=192.55.52.120; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of michael.soegtrop@intel.com designates 192.55.52.120 as permitted sender) identity=mailfrom; client-ip=192.55.52.120; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="michael.soegtrop@intel.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mga04.intel.com) identity=helo; client-ip=192.55.52.120; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.soegtrop@intel.com"; x-sender="postmaster@mga04.intel.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A/AADkxzVXkHg0N8BehAx+BrlRAQ2BdhqFegIcgRQ4FAEBAQEBAQEBEQEBAQEHDQkJIS+CLYIWAQEEIxEVMBACAQgaAgYgAgICMBUQAQEEDg2IJgGufpEIAQEBAQEBAQMBAQEBAQEBAQEegQGFJYRMhEEVgmkrgi4FkzCEcgUBnTaPQR4BAYJHEgqBS26HWwF+AQEB X-IPAS-Result: A0A/AADkxzVXkHg0N8BehAx+BrlRAQ2BdhqFegIcgRQ4FAEBAQEBAQEBEQEBAQEHDQkJIS+CLYIWAQEEIxEVMBACAQgaAgYgAgICMBUQAQEEDg2IJgGufpEIAQEBAQEBAQMBAQEBAQEBAQEegQGFJYRMhEEVgmkrgi4FkzCEcgUBnTaPQR4BAYJHEgqBS26HWwF+AQEB X-IronPort-AV: E=Sophos;i="5.24,614,1454972400"; d="scan'208";a="177720707" Received: from mga04.intel.com ([192.55.52.120]) by mail3-smtp-sop.national.inria.fr with ESMTP; 13 May 2016 14:32:16 +0200 Received: from orsmga003.jf.intel.com ([10.7.209.27]) by fmsmga104.fm.intel.com with ESMTP; 13 May 2016 05:32:15 -0700 X-ExtLoop1: 1 X-IronPort-AV: E=Sophos;i="5.24,614,1455004800"; d="scan'208";a="805540888" Received: from irsmsx153.ger.corp.intel.com ([163.33.192.75]) by orsmga003.jf.intel.com with ESMTP; 13 May 2016 05:32:14 -0700 Received: from irsmsx102.ger.corp.intel.com ([169.254.2.35]) by IRSMSX153.ger.corp.intel.com ([169.254.9.140]) with mapi id 14.03.0248.002; Fri, 13 May 2016 13:32:13 +0100 From: "Soegtrop, Michael" To: Gabriel Scherer CC: Alain Frisch , "caml-list@inria.fr" Thread-Topic: [Caml-list] Specify the default hash function for a type Thread-Index: AdGs7HCGm9QdbZDXQnOXFTEowCMUzwAAdzOAAAJfb0AAA747AAACjbKg Date: Fri, 13 May 2016 12:32:13 +0000 Message-ID: <0F7D3B1B3C4B894D824F5B822E3E5A172CEF17E4@IRSMSX102.ger.corp.intel.com> References: <0F7D3B1B3C4B894D824F5B822E3E5A172CEF1630@IRSMSX102.ger.corp.intel.com> <850765ff-25f1-ecb9-9707-74d3dc47675c@lexifi.com> <0F7D3B1B3C4B894D824F5B822E3E5A172CEF175C@IRSMSX102.ger.corp.intel.com> In-Reply-To: Accept-Language: de-DE, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [163.33.239.182] Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Subject: RE: [Caml-list] Specify the default hash function for a type RGVhciBHYWJyaWVsLCBBbGFpbiwNCg0KdGhhbmtzIGZvciB0aGUgaGludHMh DQoNCkFmdGVyIEkgYXBwbGllZCBteSBwcm9ncmFtIHRvIGEgbGFyZ2VyIGRh dGEgc2V0LCBJIGZvdW5kIHRoYXQsIGNvbnRyYXJ5IHRvIG15IGluaXRpYWwg YXNzZXNzbWVudCwgdGhlIHBvbHltb3JwaGljIGhhc2ggZnVuY3Rpb24gZm9y IHRoZSBjb21wbGV0ZSByZWNvcmQgaXMgbm90IGdvb2QgaW4gbXkgY2FzZS4g VGhlIGhhc2ggc3RhdHMgc2hvdyB0aGF0IHRoZSBsYXJnZXN0IGJ1Y2tldCBo YXMgbW9yZSBpdGVtcyBpbiBpdCB0aGFuIEkgaGF2ZSBzaW5nbGUgaXRlbSBi dWNrZXRzIC0gbm90IGEgZ29vZCBzaWduLiBTbyBJIGFueXdheSBoYXZlIHRv IHdyaXRlIGEgY29tcGxldGUgY3VzdG9tIGhhc2ggZnVuY3Rpb24uDQoNCklz IHRoZXJlIHNvbWUgZG9jdW1lbnRhdGlvbiBvbiB3aGF0IHRoZSBwb2x5bW9y cGhpYyBoYXNoIGZ1bmN0aW9uIGRvZXM/DQoNCkJlc3QgcmVnYXJkcywNCg0K TWljaGFlbA0KSW50ZWwgRGV1dHNjaGxhbmQgR21iSApSZWdpc3RlcmVkIEFk ZHJlc3M6IEFtIENhbXBlb24gMTAtMTIsIDg1NTc5IE5ldWJpYmVyZywgR2Vy bWFueQpUZWw6ICs0OSA4OSA5OSA4ODUzLTAsIHd3dy5pbnRlbC5kZQpNYW5h Z2luZyBEaXJlY3RvcnM6IENocmlzdGluIEVpc2Vuc2NobWlkLCBDaHJpc3Rp YW4gTGFtcHJlY2h0ZXIKQ2hhaXJwZXJzb24gb2YgdGhlIFN1cGVydmlzb3J5 IEJvYXJkOiBOaWNvbGUgTGF1ClJlZ2lzdGVyZWQgT2ZmaWNlOiBNdW5pY2gK Q29tbWVyY2lhbCBSZWdpc3RlcjogQW10c2dlcmljaHQgTXVlbmNoZW4gSFJC IDE4NjkyOAo=