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 113FE7F72C for ; Mon, 15 Aug 2016 01:22:33 +0200 (CEST) IronPort-PHdr: 9a23:cytsnR+ykT0lTv9uRHKM819IXTAuvvDOBiVQ1KB92ukcTK2v8tzYMVDF4r011RmSDNydsq4P07Se8/i5HzdRudDZ6DFKWacPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvjotuKP04Q2nL9Oeo0d0Tu612J94E/ushLEu4J0BzHo39FKax95FhDAhatpSv6/dq655V58i5d6LoL/s9EVrjmLexjFeQLRGduD2dg78TusVzHTBCTznoaSGQf1BRSUDLI9BXrYpCkmy/3pudskASVOtfxU/hgVDCv5LtxRRDAjCYcK3gj7TeEpNZ3ifdypB+xqg037oHTeoaLfK5zeq7WYckXSkJFX91NETZcVNDvJ7ATBvYMaL4L57L2oEED+EOz Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=electreg@list.ru; spf=Pass smtp.mailfrom=electreg@list.ru; spf=Pass smtp.helo=postmaster@f313.i.mail.ru Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of electreg@list.ru) identity=pra; client-ip=128.140.169.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="electreg@list.ru"; x-sender="electreg@list.ru"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of electreg@list.ru designates 128.140.169.177 as permitted sender) identity=mailfrom; client-ip=128.140.169.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="electreg@list.ru"; x-sender="electreg@list.ru"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@f313.i.mail.ru designates 128.140.169.177 as permitted sender) identity=helo; client-ip=128.140.169.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="electreg@list.ru"; x-sender="postmaster@f313.i.mail.ru"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DDAgB8/LBXh7GpjIBehBt2BgejeIUni1KEP4F9IIMSgwmBEjgUAgEBAQEBAQEBEgEBAQoLCQkZL0EOgWMWgg0bGB0BATgUCQEdIQIEDT01iAUBAQIXBAWwO2eERAEBBYFcihUIhROEaIYIgX0LLYJajxGEboVEhh6IeII5hxyFbogRIBaGOwGBLB6CWYFaa4EihG4BfgEBAQ X-IPAS-Result: A0DDAgB8/LBXh7GpjIBehBt2BgejeIUni1KEP4F9IIMSgwmBEjgUAgEBAQEBAQEBEgEBAQoLCQkZL0EOgWMWgg0bGB0BATgUCQEdIQIEDT01iAUBAQIXBAWwO2eERAEBBYFcihUIhROEaIYIgX0LLYJajxGEboVEhh6IeII5hxyFbogRIBaGOwGBLB6CWYFaa4EihG4BfgEBAQ X-IronPort-AV: E=Sophos;i="5.28,522,1464645600"; d="scan'208,217";a="231041219" Received: from f313.i.mail.ru ([128.140.169.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 15 Aug 2016 01:22:32 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=list.ru; s=mail; h=Content-Type:Message-ID:Reply-To:Date:MIME-Version:Subject:To:From; bh=bmZK9Jim/BJVRmJCFoifD0FfNOclicsjVSNTD2fQDqI=; b=XmC5FbD0RoAyYmPmL3lCGlvijjDS++zY5W0qgAU0n36el8jYx7bIbNT0MT9j+F3j2U7g/7g3YTcGCMNbn3J1TJLgi7WLKb2CVlZWB5sDM5iy12w7/wpfm3k7WKk4e57TXN5yQFCqp35f5kDsnFpyAJFrzRTlxpbeDDUvP8HP6zM=; Received: from [5.141.203.4] (ident=mail) by f313.i.mail.ru with local (envelope-from ) id 1bZ4je-0001rB-G6 for caml-list@inria.fr; Mon, 15 Aug 2016 02:22:30 +0300 Received: from [5.141.203.4] by e.mail.ru with HTTP; Mon, 15 Aug 2016 02:22:30 +0300 From: =?UTF-8?B?QWxleGV5IEVnb3Jvdg==?= To: caml-list@inria.fr MIME-Version: 1.0 X-Mailer: Mail.Ru Mailer 1.0 X-Originating-IP: [5.141.203.4] Date: Mon, 15 Aug 2016 02:22:30 +0300 Reply-To: =?UTF-8?B?QWxleGV5IEVnb3Jvdg==?= X-Priority: 3 (Normal) Message-ID: <1471216950.691509807@f313.i.mail.ru> Content-Type: multipart/alternative; boundary="--ALT--aC1fDg1SoWl7mYvFov8zxEin035HxpmC1471216950" X-Mailru-Sender: 9836EB431E14531310B2FE4E80D0824B54DDCA505A0560B6A82C3E765FCF0EE4EA969D78C6D65B55 X-Mras: OK X-Spam: undefined Subject: [Caml-list] difference between locally abstract types and polymorphic annotations? ----ALT--aC1fDg1SoWl7mYvFov8zxEin035HxpmC1471216950 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: base64 CkhlbGxvLAoKSSdtIG5vdGljZWQgdGhhdCBHQURUIHR5cGVjaGVja2luZyBk ZXBlbmRzIG9uIHdoZXRoZXIgZnJlZSB2YXJpYWJsZXMgYXJlIGFubm90YXRl ZCBhcyBsb2NhbGx5IGFic3RyYWN0IHR5cGVzIChpbiBmb3JtIG9mICJ0eXBl IGEgYiBjIC4gPHR5cGVleHByPiIpIG9yIGp1c3QgcG9seW1vcHJoaWMgYW5u b3RhdGlvbnMgKGluIGZvcm0gb2YgIiAnYSAnYiAnYyAuIDx0eXBlZXhwcj4g IikuCgpDb2RlIGhlcmUgLcKgIGh0dHA6Ly9wYXN0ZWJpbi5jb20vMzZaQWp3 MEogwqAKCldoYXQgaXMgdGhlIGRpZmZlcmVuY2U/IEkgd2FzIHRoaW5raW5n IHRoYXQgYm90aCBvZiB0aGlzIGFyZSBlcXVpdmFsZW50LCBpc24ndCBpdD8K ClRoYW5rcy4= ----ALT--aC1fDg1SoWl7mYvFov8zxEin035HxpmC1471216950 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: base64 CjxIVE1MPjxCT0RZPjxkaXYgY2xhc3M9ImpzLWhlbHBlciBqcy1yZWFkbXNn LW1zZyI+Cgk8c3R5bGUgdHlwZT0idGV4dC9jc3MiPjwvc3R5bGU+CiAJPGRp dj4KCQk8YmFzZSB0YXJnZXQ9Il9zZWxmIiBocmVmPSJodHRwczovL2UubWFp bC5ydS8iPgoJCQogICAgICAgICAgICA8ZGl2IGlkPSJzdHlsZV8xNDcxMjE2 NzcwMDAwMDAwMDMzOF9CT0RZIj4KSGVsbG8sPGJyPjxicj5JJ20gbm90aWNl ZCB0aGF0IEdBRFQgdHlwZWNoZWNraW5nIGRlcGVuZHMgb24gd2hldGhlciBm cmVlIHZhcmlhYmxlcyBhcmUgYW5ub3RhdGVkIGFzIGxvY2FsbHkgYWJzdHJh Y3QgdHlwZXMgKGluIGZvcm0gb2YgInR5cGUgYSBiIGMgLiAmbHQ7dHlwZWV4 cHImZ3Q7Iikgb3IganVzdCBwb2x5bW9wcmhpYyBhbm5vdGF0aW9ucyAoaW4g Zm9ybSBvZiAiICdhICdiICdjIC4gJmx0O3R5cGVleHByJmd0OyAiKS48YnI+ PGJyPkNvZGUgaGVyZSAtJm5ic3A7PGEgaHJlZj0iaHR0cDovL3Bhc3RlYmlu LmNvbS8zNlpBancwSiIgdGFyZ2V0PSJfYmxhbmsiPmh0dHA6Ly9wYXN0ZWJp bi5jb20vMzZaQWp3MEo8L2E+Jm5ic3A7PGJyPjxicj5XaGF0IGlzIHRoZSBk aWZmZXJlbmNlPyBJIHdhcyB0aGlua2luZyB0aGF0IGJvdGggb2YgdGhpcyBh cmUgZXF1aXZhbGVudCwgaXNuJ3QgaXQ/PGJyPjxicj5UaGFua3MuCjwvZGl2 PgogICAgICAgICAgICAKICAgICAgICAKCQk8YmFzZSB0YXJnZXQ9Il9zZWxm IiBocmVmPSJodHRwczovL2UubWFpbC5ydS8iPgoJPC9kaXY+CgoJCjwvZGl2 PjwvQk9EWT48L0hUTUw+Cg== ----ALT--aC1fDg1SoWl7mYvFov8zxEin035HxpmC1471216950--