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 584337FE36 for ; Sat, 2 Jul 2016 19:02:43 +0200 (CEST) IronPort-PHdr: 9a23:ASvNtRCx3F28/9uUJBuxUyQJP3N1i/DPJgcQr6AfoPdwSP/6osbcNUDSrc9gkEXOFd2CrakV06yM6+u5ATdIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWD14Ltj6vro8abSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884mosFJW7/7cqB+VrdYAS4rKUg64cTqsV/ISg7c3HYEVnQqlU8CIw/D4xv9FqXxuy31/KIp2DuaNMv5F+FpcT6m6KBuQhLyh2EBOiJvo0/NjcklxoJcph2roFRNw4fSb8nVHt5ZWYb3UOk1AiIeBZ8ZcwFxQ8n0O4sdD+MHMrwJ8qH3o1wJqBGzHwbqAu7znGwbzkTq1LE3hrxyWTrN2xYtSooD Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=Neutral smtp.pra=hzhang295@bloomberg.net; spf=Pass smtp.mailfrom=hzhang295@bloomberg.net; spf=None smtp.helo=postmaster@mgnj2.bloomberg.net Received-SPF: Neutral (mail3-smtp-sop.national.inria.fr: domain of hzhang295@bloomberg.net does not assert whether or not 69.191.244.20 is permitted sender) identity=pra; client-ip=69.191.244.20; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hzhang295@bloomberg.net"; x-sender="hzhang295@bloomberg.net"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of hzhang295@bloomberg.net designates 69.191.244.20 as permitted sender) identity=mailfrom; client-ip=69.191.244.20; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hzhang295@bloomberg.net"; x-sender="hzhang295@bloomberg.net"; 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@mgnj2.bloomberg.net) identity=helo; client-ip=69.191.244.20; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hzhang295@bloomberg.net"; x-sender="postmaster@mgnj2.bloomberg.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A+AADM8ndXhxT0v0VchBR8qWODQ4cKBUeEOoF5hhgegQc4FAEBAQEBAQEBEQEBAQgNCQkhL4IyghoBFQETCkwbFQIrAgQdAh8MAyGIFgMXBQmpW4dxAQFmhiWFHw2EHQEBAQcBAQEBI4UwhUWCQ4IUNYF9OIJaBZhfKggBAQEWgQ6GFYR9kTqIF4dzHoJPIoE1PDKIcAEBAQ X-IPAS-Result: A0A+AADM8ndXhxT0v0VchBR8qWODQ4cKBUeEOoF5hhgegQc4FAEBAQEBAQEBEQEBAQgNCQkhL4IyghoBFQETCkwbFQIrAgQdAh8MAyGIFgMXBQmpW4dxAQFmhiWFHw2EHQEBAQcBAQEBI4UwhUWCQ4IUNYF9OIJaBZhfKggBAQEWgQ6GFYR9kTqIF4dzHoJPIoE1PDKIcAEBAQ X-IronPort-AV: E=Sophos;i="5.26,564,1459807200"; d="scan'208,217";a="183580905" Received: from mgnj2.bloomberg.net ([69.191.244.20]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 02 Jul 2016 19:02:42 +0200 X-BB-Reception-Complete: 02 Jul 2016 13:02:41 -0400 X-IP-Listener: Outgoing Mail X-IP-MID: 247832625 Received: from p057.bloomberg.com (HELO p057) ([10.126.157.205]) by mgnj2.bloomberg.net with SMTP; 02 Jul 2016 13:02:41 -0400 X-BLP-INETSVC: version=BLP_APP_S_INETSVC_1.0.1; host=mgnj2:25; conid=21 Date: Sat, 2 Jul 2016 17:02:41 -0000 From: "Hongbo Zhang (BLOOMBERG/ 731 LEX)" Reply-To: "Hongbo Zhang" To: gabriel.scherer@gmail.com Cc: caml-list@inria.fr MIME-Version: 1.0 Message-ID: <5777F3B101EB04A200390030_0_983@p057> X-BLP-GUID: 5777F3B101EB04A2003900300000 Content-Type: multipart/alternative; boundary="BOUNDARY_5777F3B101EB04A200390030_0_727_p057" Content-ID: Subject: Re: [Caml-list] question: what is the recommended use case of `val` in class type --BOUNDARY_5777F3B101EB04A200390030_0_727_p057 Content-Type: text/plain; charset=UTF-8 Content-Disposition: inline Content-Transfer-Encoding: base64 VGhhbmtzIGZvciB5b3VyIHJlcGx5LiBCdXQgaWYgYHZhbGAgaXMgbm90IGFj Y2Vzc2libGUgZnJvbSBvdXRzaWRlLCB3aHkgaXQgaXMgdGhlIHBhcnQgb2Yg Y2xhc3MgdHlwZSBzaWduYXR1cmUsIGFueSByZWFzb24gZm9yIHRoaXMgZGVz aWduPwoKRnJvbTogZ2FicmllbC5zY2hlcmVyQGdtYWlsLmNvbSBBdDogMDcv MDIvMTYgMTM6MDA6MzQKVG86IEhPTkdCTyBaSEFORyAoQkxPT01CRVJHLyA3 MzEgTEVYKQpDYzogY2FtbC1saXN0QGlucmlhLmZyClN1YmplY3Q6IFJlOiBb Q2FtbC1saXN0XSBxdWVzdGlvbjogd2hhdCBpcyB0aGUgcmVjb21tZW5kZWQg dXNlIGNhc2Ugb2YgYHZhbGAgaW4gY2xhc3MgdHlwZQoKT2JqZWN0cyBoYXZl IHNvbWUgcHJpdmF0ZSBzdGF0ZSwgYW5kIHRoZXkgZXhwb3NlIG1ldGhvZHMg dGhhdCBjYW4gYmUgY2FsbGVkIGZyb20gdGhlIG91dHNpZGUuICJ2YWwiIGZp ZWxkcyBjb3JyZXNwb25kIHRvIHN1Y2ggcHJpdmF0ZSBzdGF0ZSwgdGhleSBh cmUgbm90IGFjY2Vzc2libGUgZnJvbSBvdXRzaWRlIGFuZCBhcmUgdGh1cyBu b3QgcGFydCBvZiBhbiBvYmplY3QncyB0eXBlLgoKWW91IGNhbiBhbHdheXMg ZXhwb3NlIGEgdmFsdWUgZmllbGQgdG8gdGhlIG91dHNpZGUgdGhyb3VnaCBh ICJnZXR0ZXIiIG1ldGhvZCB0byBhY2Nlc3MgaXQgKGFuZCBhICJzZXR0ZXIi IG1ldGhvZCB0byBtdXRhdGUgaXQgaWYgcmVsZXZhbnQpLCBidXQgdGhhdCBp cyBvZnRlbiBjb25zaWRlcmVkIGR1YmlvdXMgb2JqZWN0LW9yaWVudGVkIHN0 eWxlIC0tIGl0IHRlbmRzIHRvIGdvIGFnYWluc3QgZ29vZCBlbmNhcHN1bGF0 aW9uLgoKT24gU2F0LCBKdWwgMiwgMjAxNiBhdCAxMjo0NSBQTSwgSG9uZ2Jv IFpoYW5nIChCTE9PTUJFUkcvIDczMSBMRVgpIDxoemhhbmcyOTVAYmxvb21i ZXJnLm5ldD4gd3JvdGU6CgpEZWFyIGFsbCwKICAgIEkgaGF2ZSBhIHF1ZXN0 aW9uIGFib3V0IHZhbCBpbiBjbGFzcyB0eXBlLCBpcyBpdCBvbmx5IHVzZWZ1 bCBpbiBpbmhlcml0YW5jZT8KICAgIGZvciBleGFtcGxlCiAgCiAgICBjbGFz cyB0eXBlIHRleHQgPSBvYmplY3QgdmFsIG11dGFibGUgdGV4dCA6IHN0cmlu ZyBlbmQgICAgICAKICAKICAgIGxldCBmICh4IDogdGV4dCApID0geCN0ZXh0 OzsgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAKICAgICAgICAgICAgICAgICAg ICAgIF4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgCkVycm9yOiBU aGlzIGV4cHJlc3Npb24gaGFzIHR5cGUgdGV4dCAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg IAogICAgICAgSXQgaGFzIG5vIG1ldGhvZCB0ZXh0ICAgCiAgICBUaGFua3Mg LS0gSG9uZ2JvCgoK --BOUNDARY_5777F3B101EB04A200390030_0_727_p057 Content-Type: text/html; charset=UTF-8 Content-Disposition: inline Content-Transfer-Encoding: base64 PGh0bWw+PGhlYWQ+PHRpdGxlPjwvdGl0bGU+PC9oZWFkPjxib2R5PjwhLS0g cnRlLXZlcnNpb24gMC4yIDk5NDc1NTE2MzcyOTQwMDhiNzdiY2UyNWViNjgz ZGFjIC0tPjxkaXYgY2xhc3M9InJ0ZS1zdHlsZS1tYWludGFpbmVyIiBzdHls ZT0iZm9udC1mYW1pbHk6IEFyaWFsOyB3aGl0ZS1zcGFjZTogcHJlLXdyYXA7 IGZvbnQtc2l6ZTogc21hbGw7IGNvbG9yOiByZ2IoMCwgMCwgMCk7ImRhdGEt Y29sb3I9Imdsb2JhbC1kZWZhdWx0IiBiYmctY29sb3I9ImRlZmF1bHQiIGRh dGEtYmItZm9udC1zaXplPSJtZWRpdW0iIGJiZy1mb250LXNpemU9Im1lZGl1 bSIgYmJnLWZvbnQtZmFtaWx5PSJub3JtYWwiPlRoYW5rcyBmb3IgeW91ciBy ZXBseS4gQnV0IGlmIGB2YWxgIGlzIG5vdCBhY2Nlc3NpYmxlIGZyb20gb3V0 c2lkZSwgd2h5IGl0IGlzIHRoZSBwYXJ0IG9mIGNsYXNzIHR5cGUgc2lnbmF0 dXJlLCBhbnkgcmVhc29uIGZvciB0aGlzIGRlc2lnbj88YnI+PGRpdiBjbGFz cz0icnRlLXN0eWxlLW1haW50YWluZXIiIHN0eWxlPSJmb250LXNpemU6IHNt YWxsOyBmb250LWZhbWlseTogJ0NvdXJpZXIgTmV3JywgQ291cmllcjsgY29s b3I6IHJnYigwLCAwLCAwKTsiZGF0YS1jb2xvcj0iZ2xvYmFsLWRlZmF1bHQi IGJiZy1jb2xvcj0iZGVmYXVsdCIgZGF0YS1iYi1mb250LXNpemU9Im1lZGl1 bSIgYmJnLWZvbnQtc2l6ZT0ibWVkaXVtIiBiYmctZm9udC1mYW1pbHk9ImZp eGVkLXdpZHRoIj48YnI+PGRpdiBjbGFzcz0iYmJnLXJ0ZS1mb2xkLWNvbnRl bnQiIGRhdGEtaGVhZGVyPSJGcm9tOiBnYWJyaWVsLnNjaGVyZXJAZ21haWwu Y29tIEF0OiAwNy8wMi8xNiAxMzowMDozNCJkYXRhLWRpZ2VzdD0iRnJvbTog Z2FicmllbC5zY2hlcmVyQGdtYWlsLmNvbSBBdDogMDcvMDIvMTYgMTM6MDA6 MzQic3R5bGU9IiI+PGRpdiBjbGFzcz0iYmJnLXJ0ZS1mb2xkLXN1bW1hcnki PkZyb206IGdhYnJpZWwuc2NoZXJlckBnbWFpbC5jb20gQXQ6IDA3LzAyLzE2 IDEzOjAwOjM0PC9kaXY+PGRpdj5UbzogPGEgc3BlbGxjaGVjaz0iZmFsc2Ui IGJiZy1kZXN0aW5hdGlvbj0ibWFpbHRvOmh6aGFuZzI5NUBibG9vbWJlcmcu bmV0IiBocmVmPSJtYWlsdG86aHpoYW5nMjk1QGJsb29tYmVyZy5uZXQiPkhP TkdCTyBaSEFORyAoQkxPT01CRVJHLyA3MzEgTEVYKTwvYT48YnI+Q2M6IDxh IHNwZWxsY2hlY2s9ImZhbHNlImJiZy1kZXN0aW5hdGlvbj0ibWFpbHRvOnJ0 ZTpiaW5kIiBocmVmPSJtYWlsdG86Y2FtbC1saXN0QGlucmlhLmZyIj5jYW1s LWxpc3RAaW5yaWEuZnI8L2E+PGJyPlN1YmplY3Q6IFJlOiBbQ2FtbC1saXN0 XSBxdWVzdGlvbjogd2hhdCBpcyB0aGUgcmVjb21tZW5kZWQgdXNlIGNhc2Ug b2YgYHZhbGAgaW4gY2xhc3MgdHlwZTxicj48L2Rpdj48L2Rpdj48ZGl2IGNs YXNzPSJydGUtaW50ZXJuZXQtYmxvY2std3JhcHBlciIgc3R5bGU9ImNvbG9y OiBibGFjazsgZm9udC1mYW1pbHk6IEFyaWFsLCAnQkIuUHJvcG9ydGlvbmFs JzsgZm9udC1zaXplOiBzbWFsbDsgd2hpdGUtc3BhY2U6IG5vcm1hbDsgYmFj a2dyb3VuZC1hdHRhY2htZW50OiBpbml0aWFsOyBiYWNrZ3JvdW5kLWNvbG9y OiB3aGl0ZTsgYmFja2dyb3VuZC1zaXplOiBpbml0aWFsOyBiYWNrZ3JvdW5k LW9yaWdpbjogaW5pdGlhbDsgYmFja2dyb3VuZC1jbGlwOiBpbml0aWFsOyBi YWNrZ3JvdW5kLXBvc2l0aW9uOiBpbml0aWFsOyBiYWNrZ3JvdW5kLXJlcGVh dDogaW5pdGlhbDsiZGF0YS1ibG9ja2VkLWJnaW1hZ2U9ImluaXRpYWwiPjxk aXYgY2xhc3M9InJ0ZS1pbnRlcm5ldC1ibG9jayI+PGJsb2NrcXVvdGU+PGRp diBkaXI9Imx0ciI+PGRpdj5PYmplY3RzIGhhdmUgc29tZSBwcml2YXRlIHN0 YXRlLCBhbmQgdGhleSBleHBvc2UgbWV0aG9kcyB0aGF0IGNhbiBiZSBjYWxs ZWQgZnJvbSB0aGUgb3V0c2lkZS4gInZhbCIgZmllbGRzIGNvcnJlc3BvbmQg dG8gc3VjaCBwcml2YXRlIHN0YXRlLCB0aGV5IGFyZSBub3QgYWNjZXNzaWJs ZSBmcm9tIG91dHNpZGUgYW5kIGFyZSB0aHVzIG5vdCBwYXJ0IG9mIGFuIG9i amVjdCdzIHR5cGUuPGJyPjxicj48L2Rpdj48ZGl2PllvdSBjYW4gYWx3YXlz IGV4cG9zZSBhIHZhbHVlIGZpZWxkIHRvIHRoZSBvdXRzaWRlIHRocm91Z2gg YSAiZ2V0dGVyIiBtZXRob2QgdG8gYWNjZXNzIGl0IChhbmQgYSAic2V0dGVy IiBtZXRob2QgdG8gbXV0YXRlIGl0IGlmIHJlbGV2YW50KSwgYnV0IHRoYXQg aXMgb2Z0ZW4gY29uc2lkZXJlZCBkdWJpb3VzIG9iamVjdC1vcmllbnRlZCBz dHlsZSAtLSBpdCB0ZW5kcyB0byBnbyBhZ2FpbnN0IGdvb2QgZW5jYXBzdWxh dGlvbi48YnI+PC9kaXY+PC9kaXY+PGRpdiBjbGFzcz0iZ21haWxfZXh0cmEi Pjxicj48ZGl2IGNsYXNzPSJnbWFpbF9xdW90ZSI+T24gU2F0LCBKdWwgMiwg MjAxNiBhdCAxMjo0NSBQTSwgSG9uZ2JvIFpoYW5nIChCTE9PTUJFUkcvIDcz MSBMRVgpIDxzcGFuIGRpcj0ibHRyIj4mbHQ7PGEgc3BlbGxjaGVjaz0iZmFs c2UiYmJnLWRlc3RpbmF0aW9uPSJtYWlsdG86cnRlOmJpbmQiIGNsYXNzPSIi IGhyZWY9Im1haWx0bzpoemhhbmcyOTVAYmxvb21iZXJnLm5ldCIgZGF0YS1k ZXN0aW5hdGlvbj0ibWFpbHRvOnJ0ZTpiaW5kIj5oemhhbmcyOTVAYmxvb21i ZXJnLm5ldDwvYT4mZ3Q7PC9zcGFuPiB3cm90ZTo8YnI+PGJsb2NrcXVvdGUg Y2xhc3M9ImdtYWlsX3F1b3RlIiBzdHlsZT0ibWFyZ2luOjAgMCAwIC44ZXg7 Ym9yZGVyLWxlZnQ6MXB4ICNjY2Mgc29saWQ7cGFkZGluZy1sZWZ0OjFleCI+ PGRpdiBzdHlsZT0iZm9udC1zaXplOiBzbWFsbDsgZm9udC1mYW1pbHk6IEFy aWFsOyBjb2xvcjogcmdiKDAsIDAsIDApOyB3aGl0ZS1zcGFjZTogcHJlLXdy YXA7Ij5EZWFyIGFsbCw8ZGl2PiAgICBJIGhhdmUgYSBxdWVzdGlvbiBhYm91 dCB2YWwgaW4gY2xhc3MgdHlwZSwgaXMgaXQgb25seSB1c2VmdWwgaW4gaW5o ZXJpdGFuY2U/PC9kaXY+PGRpdj4gICAgZm9yIGV4YW1wbGU8L2Rpdj48ZGl2 PiAgPC9kaXY+PGRpdj4gICAgY2xhc3MgdHlwZSB0ZXh0ID0gb2JqZWN0IHZh bCBtdXRhYmxlIHRleHQgOiBzdHJpbmcgZW5kICAgICAgPC9kaXY+PGRpdj4g IDwvZGl2PjxkaXY+ICAgIGxldCBmICh4IDogdGV4dCApID0geDxhIGhyZWY9 IiNtXy00OTAyNTE3MzUzNzkwMzM5NTI2X3RleHQiIHNwZWxsY2hlY2s9ImZh bHNlIiBiYmctZGVzdGluYXRpb249IiNtXy00OTAyNTE3MzUzNzkwMzM5NTI2 X3RleHQiIGNsYXNzPSJydGUtZnJvbS1pbnRlcm5ldCJkYXRhLWRlc3RpbmF0 aW9uPSIjbV8tNDkwMjUxNzM1Mzc5MDMzOTUyNl90ZXh0Ij4jdGV4dDwvYT47 OyAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgIDwvZGl2PjxkaXY+ICAgICAgICAg ICAgICAgICAgICAgIF4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg PC9kaXY+PGRpdj5FcnJvcjogVGhpcyBleHByZXNzaW9uIGhhcyB0eXBlIHRl eHQgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICA8L2Rpdj48ZGl2PiAgICAgICBJdCBoYXMg bm8gbWV0aG9kIHRleHQgICA8L2Rpdj48ZGl2PiAgICBUaGFua3MgLS0gSG9u Z2JvPC9kaXY+PC9kaXY+PC9ibG9ja3F1b3RlPjwvZGl2Pjxicj48L2Rpdj48 L2Jsb2NrcXVvdGU+PC9kaXY+PC9kaXY+PC9kaXY+PC9kaXY+PC9ib2R5Pjwv aHRtbD4= --BOUNDARY_5777F3B101EB04A200390030_0_727_p057--