From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <275438859@qq.com> 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 9793A7ED1C for ; Fri, 25 Sep 2015 04:58:34 +0200 (CEST) IronPort-PHdr: 9a23:I/KPFBTdPrORPmllNE5z3o4Hjdpsv+yvbD5Q0YIujvd0So/mwa64YBGN2/xhgRfzUJnB7Loc0qyN4/ymBTNLvs/JmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvip9uPPE4X3XKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGfayQ6NtB7dRCTBjN2Eu+Iej4RLKSA/K4noHTk0XlABJCk7L9kepcI32t36wDkbdV5cA7Ee8BeRuBmn+tPc7FU7AkT5BPDk8pjKEwvdshb5W9Ury7yd0xJTZNdmY Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=275438859@qq.com; spf=Pass smtp.mailfrom=275438859@qq.com; spf=TempError smtp.helo=postmaster@smtpbg302.qq.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of 275438859@qq.com) identity=pra; client-ip=184.105.206.27; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="275438859@qq.com"; x-sender="275438859@qq.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of 275438859@qq.com designates 184.105.206.27 as permitted sender) identity=mailfrom; client-ip=184.105.206.27; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="275438859@qq.com"; x-sender="275438859@qq.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: TempError (mail3-smtp-sop.national.inria.fr: domain of postmaster@smtpbg302.qq.com temporarily is not available to assert whether or not 184.105.206.27 is permitted sender) identity=helo; client-ip=184.105.206.27; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="275438859@qq.com"; x-sender="postmaster@smtpbg302.qq.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CrBQABuARWmxvOabhdghg/ggoGgyS6HAEBiBuBIT0PAQEBAQEBAQEQAQEBAQEGCwsJIS6CHYF+Qw0BARggFAkBQARbGwmIBwEDEQGaRpw6awiEYwEFiWYXMxqFFgaTaTOBFI12hE2DIgcBgTumeTkBAQGENWSIZ4EFAQEB X-IPAS-Result: A0CrBQABuARWmxvOabhdghg/ggoGgyS6HAEBiBuBIT0PAQEBAQEBAQEQAQEBAQEGCwsJIS6CHYF+Qw0BARggFAkBQARbGwmIBwEDEQGaRpw6awiEYwEFiWYXMxqFFgaTaTOBFI12hE2DIgcBgTumeTkBAQGENWSIZ4EFAQEB X-IronPort-AV: E=Sophos;i="5.17,584,1437429600"; d="scan'208";a="148510825" Received: from smtpbg302.qq.com ([184.105.206.27]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 25 Sep 2015 04:57:52 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=qq.com; s=s201307; t=1443149866; bh=SJi86tMxtMF3b9Syv32Vj9i4gCkEvrv1L5xkR+inwQU=; h=From:To:Subject:Mime-Version:Content-Type:Content-Transfer-Encoding:Date:Message-ID; b=sXvZ0go2bw28By1aykIFdGLsxlW0ErlAz31eOHDu/yXqOW+Rlcw9tDgTiBsFdFCO5 Y6JCueLbbUM5fiGdL3S1IQtOsJ/nAxRBToLmaMQBQjWw3r1wSEP8gIGyPWmalPRj15 en9hGarsOQTHoZuIXRJd1Sg1m418ydZHaHh5bk24= X-QQ-FEAT: mtTf5nW4tjaP8ArkFbvLZw/Vb7cjsATYrXnJB4yjj57F+OS7zQS6FFB86K7YW ZJzFpOyNwUg5kQ6sWUa7Inf9u2lrpxIkY6MiYWZbRksi8439ggG1hz7xeUedpPjRwVbMp8y gYGYghePiLnzRo4qs8/aaUh1m5iJWP8h8xIQyxBqoKiAWr8AXvwtVBDrCJzaeLTT8P0g2La V25QlV64T1fnBwSCqXJUJMJmwxU0yW+Bm3wH7d04bGA== X-QQ-SSF: 00000000000000F000000000000000Z X-HAS-ATTACH: no X-QQ-BUSINESS-ORIGIN: 2 X-Originating-IP: 223.73.15.125 X-QQ-STYLE: X-QQ-mid: webmail826t1443149863t895384 From: "=?gb18030?B?0MTI59byueI=?=" <275438859@qq.com> To: "=?gb18030?B?Y2FtbC1saXN0?=" Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_5604B827_0AAAEA60_791D7598" Content-Transfer-Encoding: 8Bit Date: Fri, 25 Sep 2015 10:57:43 +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-SENDSIZE: 520 X-QQ-FName: 109FB62652DA4750B4E30AD034823383 X-QQ-LocalIP: 127.0.0.1 Subject: [Caml-list] Can't run the program with ocamlrun This is a multi-part message in MIME format. ------=_NextPart_5604B827_0AAAEA60_791D7598 Content-Type: text/plain; charset="gb18030" Content-Transfer-Encoding: base64 SGksZXZlcnlib2R5LA0KSSB3YW5uYSBydW4gdGhlIHByb2dyYW0gd2l0aCBv Y2FtbHJ1bi5BZnRlciB0aGF0IEkgaW5wdXQgIi4vcGFwYXJhenppImluIHRo ZSBkaXJlY3RvcnksIGl0IGp1c3QgcmV0dXJuczoiLWJhc2g6IC4vcGFwYXJh enppOiAvb3B0L2xvY2FsL2Jpbi9vY2FtbHJ1bjogYmFkIGludGVycHJldGVy OiBObyBzdWNoIGZpbGUgb3IgZGlyZWN0b3J5IiAgQW5kIEkgaGF2ZSBpbnN0 YWxsZWQgb3BhbSBhbmQgb2NhbWwgd2l0aCBob21lYnJldyBmb3IgbXkgb3N4 KDEwLjEwLjUpLldoYXQgbWF5IGNhdXNlIHRoZSBwcm9ibGVtIGxpa2UgdGhp cz9UaGFuayB5b3UhDQoNCg0KWW91cnMh ------=_NextPart_5604B827_0AAAEA60_791D7598 Content-Type: text/html; charset="gb18030" Content-Transfer-Encoding: base64 PGRpdj5IaSxldmVyeWJvZHksPC9kaXY+PGRpdj5JIHdhbm5hIHJ1biB0aGUg cHJvZ3JhbSB3aXRoIG9jYW1scnVuLkFmdGVyIHRoYXQgSSBpbnB1dCAiLi9w YXBhcmF6emkiaW4gdGhlIGRpcmVjdG9yeSwgaXQganVzdCByZXR1cm5zOiI8 c3BhbiBzdHlsZT0iZm9udC1mYW1pbHk6IE1lbmxvOyBmb250LXNpemU6IDEx cHg7IGxpbmUtaGVpZ2h0OiBub3JtYWw7Ij4tYmFzaDogLi9wYXBhcmF6emk6 IC9vcHQvbG9jYWwvYmluL29jYW1scnVuOiBiYWQgaW50ZXJwcmV0ZXI6IE5v IHN1Y2ggZmlsZSBvciBkaXJlY3RvcnkiIDwvc3Bhbj48c3BhbiBzdHlsZT0i bGluZS1oZWlnaHQ6IDEuNTsiPiZuYnNwO0FuZCBJIGhhdmUgaW5zdGFsbGVk IG88L3NwYW4+cGFtPHNwYW4gc3R5bGU9ImxpbmUtaGVpZ2h0OiAxLjU7Ij4m bmJzcDthbmQgb2NhbWwgd2l0aCZuYnNwOzwvc3Bhbj5ob21lYnJldzxzcGFu IHN0eWxlPSJsaW5lLWhlaWdodDogMS41OyI+Jm5ic3A7Zm9yIG15IG9zeCgx MC4xMC41KS5XaGF0IG1heSBjYXVzZSB0aGUgcHJvYmxlbSBsaWtlIHRoaXM/ VGhhbmsgeW91ITwvc3Bhbj48L2Rpdj48ZGl2Pjxicj48L2Rpdj48ZGl2Pjxz cGFuIHN0eWxlPSJsaW5lLWhlaWdodDogMS41OyI+WW91cnMhPC9zcGFuPjwv ZGl2Pg== ------=_NextPart_5604B827_0AAAEA60_791D7598--