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 1A63482355 for ; Mon, 11 Dec 2017 08:22:28 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=bob.hongbo.zhang@foxmail.com; spf=Pass smtp.mailfrom=bob.hongbo.zhang@foxmail.com; spf=Pass smtp.helo=postmaster@smtpbg298.qq.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of bob.hongbo.zhang@foxmail.com) identity=pra; client-ip=184.105.67.102; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bob.hongbo.zhang@foxmail.com"; x-sender="bob.hongbo.zhang@foxmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of bob.hongbo.zhang@foxmail.com designates 184.105.67.102 as permitted sender) identity=mailfrom; client-ip=184.105.67.102; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bob.hongbo.zhang@foxmail.com"; x-sender="bob.hongbo.zhang@foxmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@smtpbg298.qq.com designates 184.105.67.102 as permitted sender) identity=helo; client-ip=184.105.67.102; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="bob.hongbo.zhang@foxmail.com"; x-sender="postmaster@smtpbg298.qq.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AQhoskB2EaY/Rm2qosmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?segUL/ad9pjvdHbS+e9qxAeQG96Eu7QZ06L/iOPJZy8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2vpv2aq4DUONhL6PAtz?= =?us-ascii?q?bqSpS8+Bx/iwgqqi4ZTWfx5PmnD1NaNoJRCqtgLPnsYTiIpmbK02z02N6jFDcu?= =?us-ascii?q?FSgGdpPk7Z10L378K0uZpi6Dh4uvQ79scGX7+sLIoiSrkNRh4hOSp9sMfsv1/D?= =?us-ascii?q?Sg2A7HxaQGUflBVgDQ/V6Rj7WtH6tS6s5bk14zWTIcCjFeN8Yj+l9ao+FE7l?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DkAQCOMS5ah2ZDabhbGgEBAQEBAgEBA?= =?us-ascii?q?QEIAQEBAYJKgVp0JweDe5kdgX2CYYYUjiuCAQojgV6DOhyER0IVAQEBAQEBAQE?= =?us-ascii?q?BARIBAQEIDQkIKC+COAUDBB6CQAEBAgIBMw0BASwMBAsFBAIEDQMBAg4fAgIfJ?= =?us-ascii?q?AoIBgESCAkBiX0BAw0HARCJKpx+aAiCJYMJAQEFg1YIQgMIAoMmAQEBBwEBAQE?= =?us-ascii?q?BGwiDaIILhmqCajmBZC8JgnE1gjKIXAyBY4hcjzI9AoMfhFiILId1kGqNCj2JF?= =?us-ascii?q?4E7NYFyb0+CKQmCOg8QDIF0a4giMAGBFAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DkAQCOMS5ah2ZDabhbGgEBAQEBAgEBAQEIAQEBAYJKgVp?= =?us-ascii?q?0JweDe5kdgX2CYYYUjiuCAQojgV6DOhyER0IVAQEBAQEBAQEBARIBAQEIDQkIK?= =?us-ascii?q?C+COAUDBB6CQAEBAgIBMw0BASwMBAsFBAIEDQMBAg4fAgIfJAoIBgESCAkBiX0?= =?us-ascii?q?BAw0HARCJKpx+aAiCJYMJAQEFg1YIQgMIAoMmAQEBBwEBAQEBGwiDaIILhmqCa?= =?us-ascii?q?jmBZC8JgnE1gjKIXAyBY4hcjzI9AoMfhFiILId1kGqNCj2JF4E7NYFyb0+CKQm?= =?us-ascii?q?COg8QDIF0a4giMAGBFAEBAQ?= X-IronPort-AV: E=Sophos;i="5.45,391,1508796000"; d="scan'208,217";a="304852372" Received: from smtpbg298.qq.com ([184.105.67.102]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Dec 2017 08:22:22 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foxmail.com; s=s201512; t=1512976938; bh=WdTUhEqUjWpV4drAY5w9GNL8p+S5OBayfFq8hKwmkKk=; h=References:From:To:Subject:Mime-Version:Content-Type:Content-Transfer-Encoding:Date:Message-ID; b=gvkfwoPKLbrGh40atPLSR8RyvWE6QAe+wB84X8UhkkwPBJ5KZ5KcsKHJmWEs8tPpo 9sny7BcwjMWacDWjIjkWRko1s0eg7I4H/vR6iK2e+JBa0EfEkHvKyalzv39KbTpXU6 esHxRJjK3ik/JOYhKSV8efH6vChlknw0qr5ko2m0= X-QQ-FEAT: hSSUgwK6GKUbPgyed2Q3YVNQV6+ViU2bLuQYTzF9dO2u7YBB2YUMBOEpfpG2S O8rhSgDZPCGkNoFgc2IkmqfZRozV8qi7+F57AOa+YQjE6g1uDS0vQfzEbqjpSmnThKlufNg zAoqQ2MO866xVrTSXSaB/XPpUrFlKVVaySB7cOYnCkl6NswhhWJU0k7r3AJmevo7Px3V9Ql URTbpsGOCTPjSS3HLWB4O6CHbeyUeYj/z5nbcu/eDSWJ1zrIUn5VUFNL4Rsl9gl7C8MqzkR 2Xx23l8HfgfVBWxZcCML+4EB7cBnycXGf2eg== X-QQ-SSF: 0000000000000020 X-QQ-WAPMAIL: 1 X-QQ-BUSINESS-ORIGIN: 2 X-Originating-IP: 117.136.190.171 References: <20171211095444.75abacda@zinid.ru> X-QQ-STYLE: X-QQ-mid: riamail108t1512976934t4571539 From: "=?gb18030?B?Qm9i?=" To: "=?gb18030?B?eHJhbXRzb3Y=?=" , "=?gb18030?B?Y2FtbC1saXN0?=" Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_5A2E3226_0A3AAD78_19D72B23" Content-Transfer-Encoding: 8Bit Date: Mon, 11 Dec 2017 15:22:14 +0800 X-Priority: 3 Message-ID: X-QQ-MIME: TCMime 1.0 by Tencent X-Mailer: QQMail 2.x X-QQ-Mailer: QQMail 2.x X-QQ-ReplyHash: 138022431 X-QQ-SENDSIZE: 520 X-QQ-FName: F33CA64815544D719725BB2EDA0C0B72 X-QQ-LocalIP: 10.208.130.95 Subject: Re: [Caml-list] ReasonML concrete syntax This is a multi-part message in MIME format. ------=_NextPart_5A2E3226_0A3AAD78_19D72B23 Content-Type: text/plain; charset="gb18030" Content-Transfer-Encoding: base64 TGV0oa9zIGJlIGNpdmlsLiBOb3RlIHRoYXQgSSBkaWQgbm90IHdyaXRlIGEg c2luZ2xlIGxpbmUgb2YgcmVhc29uLCBidXQgSSB1bmRlcnN0YW5kIGl0oa9z IGludGVudGlvbiB0byB1c2UgYSBtb3JlIGZhbWlsaWFyIGZ1bmN0aW9uIGFw cGxpY2F0aW9uIHN5bnRheCBhbmQgaXQgc2VlbXMgdG8gYmUgYXBwcmVjaWF0 ZWQgYnkgcXVpdGUgYSBmZXcgcGVvcGxlLg0KIFRoZXJlIGFyZSBpc3N1ZXMg dGhvdWdoLCB0aGUgcGFyZW5zIGFyZSBvdmVybG9hZGVkIGluIHRvbyBtYW55 IGNvbnRleHQsIGlmIGl0IHVzZXMgoa5boa4gZm9yIHR1cGxlIGxpa2Ugd2hh dCB0eXBlc2NyaXB0IGRpZCwgdGhlbiBzdWNoIGFtYmlndWl0eSB3b3VsZCBi ZSByZW1vdmVkIA0KDQoNCrei19TO0rXEaVBob25lDQoNCi0tLS0tLS0tLS0t LS0tLS0tLSBPcmlnaW5hbCAtLS0tLS0tLS0tLS0tLS0tLS0NCkZyb206IEV2 Z2VueSBLaHJhbXRzb3YgPHhyYW10c292QGdtYWlsLmNvbT4NCkRhdGU6INbc 0rssMTLUwiAxMSwyMDE3IDM6MTIgz8LO5w0KVG86IGNhbWwtbGlzdCA8Y2Ft bC1saXN0QGlucmlhLmZyPg0KU3ViamVjdDogUmU6IFtDYW1sLWxpc3RdIFJl YXNvbk1MIGNvbmNyZXRlIHN5bnRheA0KDQoNCg0KTW9uLCAxMSBEZWMgMjAx NyAwNzo1MDowMiArMDEwMA0KU3ZlbiBTQVVMRUFVIDxzdmVuLnNhdWxlYXVA eHR1Yy5mcj4gd3JvdGU6DQoNCj4gVGhlIHJlYXNvbiBiZWhpbmQgdGhhdCBt b3ZlIChmcm9tIFJlYXNvbm1sIHZlcnNpb24gMiB0byAzKSwgaXMgdGhhdA0K PiBpdCBmZWVscyBtb3JlIG5hdHVyYWwgdG8gSmF2YVNjcmlwdCBkZXZlbG9w ZXJzLg0KDQpJZiB5b3UgZGV2ZWxvcCBzb2Z0d2FyZSBmb3IgaWRpb3RzLCBv bmx5IGlkaW90cyB3aWxsIHVzZSBpdCAoYykNCg0KQ29tZSBvbiwgaWYgeW91 IGNhbm5vdCBsZWFybiBhIG5ldyBzeW50YXgsIHlvdSdyZSBhbiBpZGlvdC4g Tm8NCmV4Y2VwdGlvbnMuDQoNCi0tIA0KQ2FtbC1saXN0IG1haWxpbmcgbGlz dC4gIFN1YnNjcmlwdGlvbiBtYW5hZ2VtZW50IGFuZCBhcmNoaXZlczoNCmh0 dHBzOi8vc3ltcGEuaW5yaWEuZnIvc3ltcGEvYXJjL2NhbWwtbGlzdA0KQmVn aW5uZXIncyBsaXN0OiBodHRwOi8vZ3JvdXBzLnlhaG9vLmNvbS9ncm91cC9v Y2FtbF9iZWdpbm5lcnMNCkJ1ZyByZXBvcnRzOiBodHRwOi8vY2FtbC5pbnJp YS5mci9iaW4vY2FtbC1idWdz ------=_NextPart_5A2E3226_0A3AAD78_19D72B23 Content-Type: text/html; charset="gb18030" Content-Transfer-Encoding: base64 PGRpdiBzdHlsZT0ibWluLWhlaWdodDoyMnB4O21hcmdpbi1ib3R0b206OHB4 OyI+TGV0oa9zIGJlIGNpdmlsLiBOb3RlIHRoYXQgSSBkaWQgbm90IHdyaXRl IGEgc2luZ2xlIGxpbmUgb2YgcmVhc29uLCBidXQgSSB1bmRlcnN0YW5kIGl0 oa9zIGludGVudGlvbiB0byB1c2UgYSBtb3JlIGZhbWlsaWFyIGZ1bmN0aW9u IGFwcGxpY2F0aW9uIHN5bnRheCBhbmQgaXQgc2VlbXMgdG8gYmUgYXBwcmVj aWF0ZWQgYnkgcXVpdGUgYSBmZXcgcGVvcGxlLjwvZGl2PjxkaXYgc3R5bGU9 Im1pbi1oZWlnaHQ6MjJweDttYXJnaW4tYm90dG9tOjhweDsiPiZuYnNwO1Ro ZXJlIGFyZSBpc3N1ZXMgdGhvdWdoLCB0aGUgcGFyZW5zIGFyZSBvdmVybG9h ZGVkIGluIHRvbyBtYW55IGNvbnRleHQsIGlmIGl0IHVzZXMgoa5boa4gZm9y IHR1cGxlIGxpa2Ugd2hhdCB0eXBlc2NyaXB0IGRpZCwgdGhlbiBzdWNoIGFt YmlndWl0eSB3b3VsZCBiZSByZW1vdmVkJm5ic3A7PC9kaXY+PGRpdiBzdHls ZT0ibWluLWhlaWdodDoyMnB4O21hcmdpbi1ib3R0b206OHB4OyI+PGJyPjwv ZGl2PjxzcGFuIGNsYXNzPSJtYWlsLWZvb3RlciI+t6LX1M7StcRpUGhvbmU8 L3NwYW4+PGRpdiBpZD0ib3JpZ2luYWwtY29udGVudCI+PGJyPjxicj48ZGl2 PjxkaXYgc3R5bGU9ImZvbnQtc2l6ZTo3MCU7cGFkZGluZzoycHggMDsiPi0t LS0tLS0tLS0tLS0tLS0tLSBPcmlnaW5hbCAtLS0tLS0tLS0tLS0tLS0tLS08 L2Rpdj48ZGl2IHN0eWxlPSJmb250LXNpemU6NzAlO2JhY2tncm91bmQ6I2Yw ZjBmMDtjb2xvcjojMjEyMTIxO3BhZGRpbmc6OHB4O2JvcmRlci1yYWRpdXM6 NHB4Ij48ZGl2PjxiPkZyb206PC9iPiBFdmdlbnkgS2hyYW10c292ICZsdDt4 cmFtdHNvdkBnbWFpbC5jb20mZ3Q7PC9kaXY+PGRpdj48Yj5EYXRlOjwvYj4g 1tzSuywxMtTCIDExLDIwMTcgMzoxMiDPws7nPC9kaXY+PGRpdj48Yj5Ubzo8 L2I+IGNhbWwtbGlzdCAmbHQ7Y2FtbC1saXN0QGlucmlhLmZyJmd0OzwvZGl2 PjxkaXY+PGI+U3ViamVjdDo8L2I+IFJlOiBbQ2FtbC1saXN0XSBSZWFzb25N TCBjb25jcmV0ZSBzeW50YXg8L2Rpdj48L2Rpdj48L2Rpdj48YnI+TW9uLCAx MSBEZWMgMjAxNyAwNzo1MDowMiArMDEwMDxicj5TdmVuIFNBVUxFQVUgJmx0 O3N2ZW4uc2F1bGVhdUB4dHVjLmZyJmd0OyB3cm90ZTo8YnI+PGJyPiZndDsg VGhlIHJlYXNvbiBiZWhpbmQgdGhhdCBtb3ZlIChmcm9tIFJlYXNvbm1sIHZl cnNpb24gMiB0byAzKSwgaXMgdGhhdDxicj4mZ3Q7IGl0IGZlZWxzIG1vcmUg bmF0dXJhbCB0byBKYXZhU2NyaXB0IGRldmVsb3BlcnMuPGJyPjxicj5JZiB5 b3UgZGV2ZWxvcCBzb2Z0d2FyZSBmb3IgaWRpb3RzLCBvbmx5IGlkaW90cyB3 aWxsIHVzZSBpdCAoYyk8YnI+PGJyPkNvbWUgb24sIGlmIHlvdSBjYW5ub3Qg bGVhcm4gYSBuZXcgc3ludGF4LCB5b3UncmUgYW4gaWRpb3QuIE5vPGJyPmV4 Y2VwdGlvbnMuPGJyPjxicj4tLSA8YnI+Q2FtbC1saXN0IG1haWxpbmcgbGlz dC4mbmJzcDsgU3Vic2NyaXB0aW9uIG1hbmFnZW1lbnQgYW5kIGFyY2hpdmVz Ojxicj5odHRwczovL3N5bXBhLmlucmlhLmZyL3N5bXBhL2FyYy9jYW1sLWxp c3Q8YnI+QmVnaW5uZXIncyBsaXN0OiBodHRwOi8vZ3JvdXBzLnlhaG9vLmNv bS9ncm91cC9vY2FtbF9iZWdpbm5lcnM8YnI+QnVnIHJlcG9ydHM6IGh0dHA6 Ly9jYW1sLmlucmlhLmZyL2Jpbi9jYW1sLWJ1Z3M8YnI+PC9kaXY+ ------=_NextPart_5A2E3226_0A3AAD78_19D72B23--