From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 9E64D82355 for ; Wed, 13 Dec 2017 18:20:40 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dra-news@metastack.com; spf=Pass smtp.mailfrom=dra-news@metastack.com; spf=None smtp.helo=postmaster@outmail149112.authsmtp.co.uk Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dra-news@metastack.com) identity=pra; client-ip=62.13.149.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of dra-news@metastack.com designates 62.13.149.112 as permitted sender) identity=mailfrom; client-ip=62.13.149.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.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@outmail149112.authsmtp.co.uk) identity=helo; client-ip=62.13.149.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@outmail149112.authsmtp.co.uk"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ACjGwtBHrO2g6lNkH90mnuJ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zrsSwAkXT6L1XgUPTWs2DsrQY07OQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmCexbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VC+85Kl3VhDnlC?= =?us-ascii?q?YHNyY48G7JjMxwkLlbqw+lqxBm3oLYfJ2ZOP94c6jAf90VWHBBU95RWSJfH428?= =?us-ascii?q?c4UBAekPPelaronyu1QAohS5BQS3GOPg0SNEimPq0aEm0eksFxzN0gw6H9IJtX?= =?us-ascii?q?TZtNv7O70MUeC00abD0CnOb/dS2Tfm74jIagghquyLUL1ta8re01AjFwXbgVSe?= =?us-ascii?q?sozoJDaV2foRs2eB9OpgSfighHIkqw1rvjevwcIsh5DPi4kIyV7E7T10zYcrKd?= =?us-ascii?q?GiVUJ2b8SoHIZfuiyeLYd6X94uT39wtConzrALtoS3cDUKxZg63RLTdeCLfoiS?= =?us-ascii?q?7h79SuqdOTl4i2xmdb6jghu/9Eitx+L+W8ao1VtHoDZKn9bSun0IyRPf99WIRe?= =?us-ascii?q?F480i/xDmAzR7f5+dZKk4uj6XbMYQuwrsom5oTr0vDGij2lV3xjK+LakUk//Kn?= =?us-ascii?q?6+XjYrn7qZKRM5J4hhzgPqg0gMO/HPg4MggVX2ie5eS8zKfv8lH+QLlQk/02kb?= =?us-ascii?q?HVsJHcJcsFuq60Gw5Y3pg55xqiATqqyskUkHYDIV5fZR6LkpblN0nLIP/iDPe/?= =?us-ascii?q?h1qskC1sx/DDJrDuH4/NIWLanLfnY7l85VVcxRE2zd9B+5JbEKoBIO7pVUDtt9?= =?us-ascii?q?zUFAM2Mwuxw+r/EtVyypseWX6TAq+eKK7drUWH5ucrI+WVYI8VuS39K+Q+6v71?= =?us-ascii?q?jX45nEcdcrOz0ZsWbnC4BPVmLF+DbXrimNdSWVsN6zs3U+XwwHSHUDgbM2e7QK?= =?us-ascii?q?smoDg+CYSOAoLKR4Tri7uEimPzO5RMfWBPDlTERXLhbZ6EUvMIQCaVLc5qmzhC?= =?us-ascii?q?U7W9HdwPzxar4SPz1btrZsPQ/jYfrYqrgNRv7qjVmA4p3Tl5E82Gz2iGTCd/mW?= =?us-ascii?q?ZeFGx+57x2vUEokgTL6qN/mfENUIULv/4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BdAAC4YDFah3CVDT5dGQEBAQEBAQEBA?= =?us-ascii?q?QEBAQcBAQEBAYJsgXc1JweDe4ohdI4RRAEBBoExlxGCFQqFOwIahHk/GAEBAQE?= =?us-ascii?q?BAQEBAQESAQEBCgsJCCgvgjgkAYJGAQEBAQIBIwQNOQwQAgEIGAICIwMCAgIwF?= =?us-ascii?q?AEQAgQBDQUIEooBBQkDAahngW06il0BAQEBAQUBAQEBAQEBAQEBAR2BD4JRggu?= =?us-ascii?q?BDoQngTWDL4FwgxMxgjIFox+VJwyTXJY5AgQLAhqBOx+CBzIaI0+CKYJigXN4i?= =?us-ascii?q?SUBgRQBAQE?= X-IPAS-Result: =?us-ascii?q?A0BdAAC4YDFah3CVDT5dGQEBAQEBAQEBAQEBAQcBAQEBAYJ?= =?us-ascii?q?sgXc1JweDe4ohdI4RRAEBBoExlxGCFQqFOwIahHk/GAEBAQEBAQEBAQESAQEBC?= =?us-ascii?q?gsJCCgvgjgkAYJGAQEBAQIBIwQNOQwQAgEIGAICIwMCAgIwFAEQAgQBDQUIEoo?= =?us-ascii?q?BBQkDAahngW06il0BAQEBAQUBAQEBAQEBAQEBAR2BD4JRgguBDoQngTWDL4Fwg?= =?us-ascii?q?xMxgjIFox+VJwyTXJY5AgQLAhqBOx+CBzIaI0+CKYJigXN4iSUBgRQBAQE?= X-IronPort-AV: E=Sophos;i="5.45,397,1508796000"; d="scan'208";a="248261252" Received: from outmail149112.authsmtp.co.uk ([62.13.149.112]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 13 Dec 2017 18:20:39 +0100 Received: from mail-c245.authsmtp.com (mail-c245.authsmtp.com [62.13.128.245]) by punt24.authsmtp.com. (8.15.2/8.15.2) with ESMTP id vBDHKb3m067743; Wed, 13 Dec 2017 17:20:37 GMT (envelope-from dra-news@metastack.com) Received: from romulus.metastack.com (114.212-105-213.static.virginmediabusiness.co.uk [213.105.212.114]) (authenticated bits=0) by mail.authsmtp.com (8.15.2/8.15.2) with ESMTPSA id vBDHKZlW060972 (version=TLSv1 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Wed, 13 Dec 2017 17:20:36 GMT (envelope-from dra-news@metastack.com) Received: from remus.metastack.local (remus.metastack.com [172.16.0.1]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id vBDHKXl4010677; Wed, 13 Dec 2017 17:20:33 GMT Received: from Remus.metastack.local ([fe80::547c:3c42:e1da:eda2]) by Remus.metastack.local ([fe80::547c:3c42:e1da:eda2%10]) with mapi id 14.03.0361.001; Wed, 13 Dec 2017 17:20:33 +0000 From: David Allsopp To: Yawar Amin , Marshall CC: "caml-list@inria.fr" Thread-Topic: [Caml-list] ReasonML concrete syntax Thread-Index: AQHTceJwk1egn+3DGEW/8zHefWsjzqM+ODIAgAAZIwCAACdBAIACepCAgAASFQCAAA1msIAAazUAgAABzACAAAYBsA== Date: Wed, 13 Dec 2017 17:20:32 +0000 Message-ID: References: <6640cb32-fec3-e048-3f40-53d65bae5305@gerd-stolpmann.de> <20171211161024.kafvtxzq3qcoo46p@matica.foolinux.mooo.com> <131064f1-4d53-5fbc-8aa7-0f6210dcb7bd@irisa.fr> <20171213122648.298e7edd@zinid.ru> <7BE82AAB-9F65-49E4-B9A8-69FCC5719253@logical.net> In-Reply-To: Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [194.151.205.22] Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 MIME-Version: 1.0 Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Server-Quench: ef13a5b6-e029-11e7-9f3b-9cb654bb2504 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgESJgRHAn1U UHkJW1VTQFx2U2F1 YQlXIwdcYVRPXwB0 UklLXFNTEBpqBAMA SFhsJmEJHVkheHhw bEFgEHFbX0d/OxMr Q00FED8AeDJgamkC UUENcB5dJgAYYxYW OFZ6UCFfY2AHYjQC Ml17DBs4ODEaLCVO XjRFF18bWkENOxp0 TBcEFi8iAUBNXDQ1 MxU2QkMz X-Authentic-SMTP: 61633634383431.1039:706 X-AuthFastPath: 0 (Was 255) X-AuthSMTP-Origin: 213.105.212.114/25 X-AuthVirus-Status: No virus detected - but ensure you scan with your own anti-virus system. Subject: RE: [Caml-list] ReasonML concrete syntax WWF3YXIgQW1pbiB3cm90ZToNCj4gT24gV2VkLCBEZWMgMTMsIDIwMTcgYXQg MTE6MzggQU0sIE1hcnNoYWxsIDxtYWlsdG86bWFyc2hhbGxAbG9naWNhbC5u ZXQ+IHdyb3RlOg0KPiA+IE9uIERlYyAxMywgMjAxNywgYXQgNDozNyBBTSwg RGF2aWQgQWxsc29wcCA8bWFpbHRvOmRyYS1uZXdzQG1ldGFzdGFjay5jb20+ IHdyb3RlOg0KPiA+DQo+ID4gPiBJbiB0ZXJtcyBvZiB3aHkgeW91IG1pZ2h0 IHdhbnQgdG8gYmUgImhpZGluZyIgY3VycnlpbmcsIG9yIGF0IGxlYXN0IG1h a2luZyBpdCBuZWVkDQo+ID4gPiBsZXNzIGltbWVkaWF0ZSBleHBsYW5hdGlv biB3aGVuIGxlYXJuaW5nIHRoZSBsYW5ndWFnZSwgY29uc2lkZXIsIGZvciBl eGFtcGxlLA0KPiA+ID4gZXhwbGFpbmluZyB0aGUgZGlmZmVyZW5jZSBiZXR3 ZWVuOg0KPiA+ID4NCj4gPiA+IGxldCBmIHggeSA9IHByaW50X2ludCB4OyBw cmludF9pbnQgeSBpbg0KPiA+ID4gZiA0Mg0KPiA+ID4NCj4gPiA+IGFuZA0K PiA+ID4NCj4gPiA+IGxldCBnIHggPSBwcmludF9pbnQgeDsgcHJpbnRfaW50 IGluDQo+ID4gPiBnIDQyDQoNCihjb2RlIGFtZW5kZWQgdG8gZ2l2ZSB0aGUg ZnVuY3Rpb25zIGRpZmZlcmVudCBuYW1lcykNCg0KPiA+IEFwYXJ0IGZyb20g UmVhc29uTUwsIHRoaXMgaXMgaW50ZXJlc3RpbmcuwqAgV2h5IGRvIHRoZXNl IGJlaGF2ZSBkaWZmZXJlbnRseT8NCj4gPiBJIGRvbuKAmXQgdW5kZXJzdGFu ZCB5ZXQuDQo+DQo+IEluIHRoZSBzZWNvbmQgZXhhbXBsZSwgdGhlIHNlY29u ZCBgcHJpbnRfaW50YCBuZXZlciBnZXRzIGNhbGxlZC4NCg0KTm8sIGJvdGgg ZnVuY3Rpb25zIGhhdmUgdGhlIHNhbWUgdHlwZSAoaW50IC0+IGludCAtPiB1 bml0KSBhbmQgaWYgdGhleSdyZSBhcHBsaWVkIHRvIHR3byBpbnRlZ2VycyB0 aGVuIGVhY2ggd2lsbCBwcmludCBib3RoIG9mIHRoZW0gdG8gc3Rkb3V0LiBU aGUgZGlmZmVyZW5jZSBpcyB3aGVuIHRoZXkncmUgcGFydGlhbGx5IGFwcGxp ZWQgLSBbZl0gcHJpbnRzIG5vdGhpbmc7IFtnXSBwcmludHMgNDIuIEl0J3Mg c2xpZ2h0bHkgbGVzcyB1bmNsZWFyIGluIGxhbWJkYSBmb3JtOg0KDQpsZXQg ZiA9DQogIGZ1biB4IC0+DQogICAgZnVuIHkgLT4NCiAgICAgIHByaW50X2lu dCB4Ow0KICAgICAgcHJpbnRfaW50IHkNCg0KbGV0IGcgPQ0KICBmdW4geCAt Pg0KICAgIHByaW50X2ludCB4Ow0KICAgIGZ1biB5IC0+DQogICAgICBwcmlu dF9pbnQgeQ0KDQoNCkRhdmlkDQogDQo=