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 363997EE4B for ; Sun, 29 Sep 2013 13:14:40 +0200 (CEST) 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.128.65; 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.128.65 as permitted sender) identity=mailfrom; client-ip=62.13.128.65; 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@outmail128065.authsmtp.net) identity=helo; client-ip=62.13.128.65; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@outmail128065.authsmtp.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al8BAAwLSFI+DYBBnGdsb2JhbABZDoJYhFS9TBeBChYOAQEBAQEIFAk8giUBAQQBIxFFBQsCAQYCGAICJgICAjAVEAIEDgWIAAcDjRCbVpIHgSmNdTMHgmo1gQMDrF0/ X-IPAS-Result: Al8BAAwLSFI+DYBBnGdsb2JhbABZDoJYhFS9TBeBChYOAQEBAQEIFAk8giUBAQQBIxFFBQsCAQYCGAICJgICAjAVEAIEDgWIAAcDjRCbVpIHgSmNdTMHgmo1gQMDrF0/ X-IronPort-AV: E=Sophos;i="4.90,1004,1371074400"; d="scan'208";a="28453465" Received: from outmail128065.authsmtp.net ([62.13.128.65]) by mail3-smtp-sop.national.inria.fr with ESMTP; 29 Sep 2013 13:14:39 +0200 Received: from mail-c237.authsmtp.com (mail-c237.authsmtp.com [62.13.128.237]) by punt10.authsmtp.com (8.14.2/8.14.2) with ESMTP id r8TBEapG089503; Sun, 29 Sep 2013 12:14:36 +0100 (BST) Received: from romulus.metastack.com (cpc1-cmbg5-0-0-cust241.5-4.cable.virginmedia.com [81.98.252.242]) (authenticated bits=0) by mail.authsmtp.com (8.14.2/8.14.2/) with ESMTP id r8TBEY6G084597; Sun, 29 Sep 2013 12:14:34 +0100 (BST) 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 r8TBEXrg027144 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=FAIL); Sun, 29 Sep 2013 12:14:33 +0100 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.0158.001; Sun, 29 Sep 2013 12:14:33 +0100 From: David Allsopp To: =?utf-8?B?5rKI6IOc5a6H?= CC: "caml-list@inria.fr" Thread-Topic: [Caml-list] equivalent checking of ocaml program? Thread-Index: AQHOvQQNbYfCqXjk/k2uvFnn/zvLfJnckB1E Date: Sun, 29 Sep 2013 11:14:32 +0000 Message-ID: <632E8C2C-139D-4DD8-985F-7616B952C50F@metastack.com> References: <37811b09.6ff.141695f3e3c.Coremail.syshen@nudt.edu.cn> In-Reply-To: <37811b09.6ff.141695f3e3c.Coremail.syshen@nudt.edu.cn> Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: 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: 5217622a-28f8-11e3-94fa-002590a135d3 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgASJgdNAmpU Q3kJW1VXQFxzU2Jx YQlVIw1cfENGQQdv UlZLRlBNFgB3AVJD DnpsJ3B0AAVOfHt5 YghhV3FdEkF4dEF7 QEwFCG8OM299aWFK U11Rc1UFbQNKfBpM agF+V3ZZYitlM3Bw LCQ6OjR0OTRENBEd TxgQLEwbRUsNAnY3 Rx0JHjQpEgUCSW00 JBUjLhYEBkEeKEw3 ZjMA X-Authentic-SMTP: 61633634383431.1024:706 X-AuthFastPath: 0 (Was 255) X-AuthSMTP-Origin: 81.98.252.242/25 X-AuthVirus-Status: No virus detected - but ensure you scan with your own anti-virus system. Subject: Re: [Caml-list] equivalent checking of ocaml program? PiBPbiAyOSBTZXAgMjAxMywgYXQgMTM6MDcsICLmsojog5zlrociIDxzeXNo ZW5AbnVkdC5lZHUuY24+IHdyb3RlOg0KPiANCj4gRGVhciBhbGw6DQo+IA0K PiBJIGFtIHdvcmtpbmcgaGFyZCB0byBvcHRpbWl6ZSBteSBvY2FtbCBwcm9n cmFtLCBidXQgSSBhbSBub3Qgc3VyZSB3aGV0aGVyIHRoZSBzaWduaWZpY2Fu dGx5IG1vZGlmaWVkIHZlcnNpb24gaXMgZXF1YWwgdG8gdGhlIG9sZCB2ZXJz aW9uLg0KDQpCeSBlcXVhbCwgeW91IG1lYW4gZXF1aXZhbGVudD8NCg0KPiBT byBpcyB0aGVyZSBhbnkgcmVzZWFyY2ggd29yayBvbiB0aGlzIHRvcGljPw0K DQpUaGVyZSB3YXMgaW4gdGhlIDE5MjBzIGFuZCAxOTMwcyBieSBhIGZldyBj aGFwcyBjYWxsZWQgVHVyaW5nLCBDaHVyY2ggYW5kIEfDtmRlbCA6KQ0KDQpI YXZlIGEgc2VhcmNoIGZvciB0aGUgaGFsdGluZyBwcm9ibGVtIChvciB0aGUg RW50c2NoZWlkdW5nc3Byb2JsZW0sIGZvciBpdHMgbW90aXZhdGlvbikNCg0K DQpEYXZpZA0KDQo+IA0KPiBTaGVuDQo=