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 F142B7FEFE for ; Fri, 24 Jun 2016 20:22:40 +0200 (CEST) IronPort-PHdr: 9a23:uBiziBb9+71/x5Ij/SwLfDX/LSx+4OfEezUN459isYplN5qZpMyybnLW6fgltlLVR4KTs6sC0LuO9fiwEjVZsd6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JXvkbjisMSKM01hv3mUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVWqz/e+E8TKdEJDUgKWE8osPx5iPOVQ+e2nxJGEURlBVCBED37Bj8Ud255ivotuN713PLYOX8SbczXD6v9agtThL03nQpLTk8pSv3jcp/hqUTkhKooRM3g6TwR6awHtdEUeSVIohDDU5sbocbH3hBEIO1aYRVXrcpN+JfqIz3qkEB6x2zGV//V6vU1jZUiyqujuUB2OM7HFSe0Q== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=Neutral smtp.pra=hzhang295@bloomberg.net; spf=Pass smtp.mailfrom=hzhang295@bloomberg.net; spf=None smtp.helo=postmaster@mgnj1.bloomberg.net Received-SPF: Neutral (mail2-smtp-roc.national.inria.fr: domain of hzhang295@bloomberg.net does not assert whether or not 69.191.244.19 is permitted sender) identity=pra; client-ip=69.191.244.19; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: domain of hzhang295@bloomberg.net designates 69.191.244.19 as permitted sender) identity=mailfrom; client-ip=69.191.244.19; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mgnj1.bloomberg.net) identity=helo; client-ip=69.191.244.19; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hzhang295@bloomberg.net"; x-sender="postmaster@mgnj1.bloomberg.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CFAAC/eW1XhxP0v0Vcr3KKR0eEOoF7hjaBGTgUAQEBAQEBAQERAQEBCA0JCSEvgjKCER8BEwQGagE+AgQdIQwsiCgFpn2HCYdxAQFmhiWKUoUwilGCNYJaBZh2CAEBARaBDpwyj34egk+BVzyJYgEBAQ X-IPAS-Result: A0CFAAC/eW1XhxP0v0Vcr3KKR0eEOoF7hjaBGTgUAQEBAQEBAQERAQEBCA0JCSEvgjKCER8BEwQGagE+AgQdIQwsiCgFpn2HCYdxAQFmhiWKUoUwilGCNYJaBZh2CAEBARaBDpwyj34egk+BVzyJYgEBAQ X-IronPort-AV: E=Sophos;i="5.26,522,1459807200"; d="scan'208,217";a="223962678" Received: from mgnj1.bloomberg.net ([69.191.244.19]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 24 Jun 2016 20:22:40 +0200 X-BB-Reception-Complete: 24 Jun 2016 14:22:38 -0400 X-IP-Listener: Outgoing Mail X-IP-MID: 244968292 Received: from p057.bloomberg.com (HELO p057) ([10.126.157.205]) by mgnj1.bloomberg.net with SMTP; 24 Jun 2016 14:22:38 -0400 X-BLP-INETSVC: version=BLP_APP_S_INETSVC_1.0.1; host=mgnj1:25; conid=79 Date: Fri, 24 Jun 2016 18:22:38 -0000 From: "Hongbo Zhang (BLOOMBERG/ 731 LEX)" Reply-To: "Hongbo Zhang" To: caml-list@inria.fr MIME-Version: 1.0 Message-ID: <576D7A6E012D045A003906FD_0_112375@p057> X-BLP-GUID: 576D7A6E012D045A003906FD0000 Content-Type: multipart/alternative; boundary="BOUNDARY_576D7A6E012D045A003906FD_0_127091_p057" Content-ID: Subject: [Caml-list] typing question: universal type variable in class type --BOUNDARY_576D7A6E012D045A003906FD_0_127091_p057 Content-Type: text/plain; charset=UTF-8 Content-Disposition: inline Content-Transfer-Encoding: base64 RGVhciBhbGwsCiAgICAgV2hlbiB3ZSB3cm90ZSBiaW5kaW5ncyBmb3IgcHJv bWlzZSwgd2Ugd2FudCB0byBleHByZXNzIHRoaW5ncyAoc2ltcGxpZmllZCAp IGxpa2UgYmVsb3c6CgpjbGFzcyB0eXBlIFsnYl0gcHJvbWlzZSA9IG9iamVj dAogICAgbWV0aG9kIHRoZW5fIDogJ2EgLiAoJ2IgLT4gJ2EgcHJvbWlzZSkg LT4gJ2EgcHJvbWlzZQplbmQKCkl0IGlzIG5vdCBleHByZXNzaWJsZSBpbiBP Q2FtbCwgVGhlIHVuaXZlcnNhbCB0eXBlIHZhcmlhYmxlICdhIGNhbiBub3Qg YmUgZ2VuZXJhbGl6ZWQsIEkgdHJpZWQgdGhpcyB0b286Cgp0eXBlICdiIHBy b21pc2UgPSA8IHRoZW5fIDogJ2EgLiAoJ2IgLT4gICdhIHUpIC0+ICdhIHUg PgoKSXQgZG9lcyBub3Qgd29yayBlaXRoZXIsIHRoYW5rcyAtLSBIb25nYm8= --BOUNDARY_576D7A6E012D045A003906FD_0_127091_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 bSIgYmJnLWZvbnQtZmFtaWx5PSJub3JtYWwiPkRlYXIgYWxsLDxkaXY+ICAg ICBXaGVuIHdlIHdyb3RlIGJpbmRpbmdzIGZvciBwcm9taXNlLCB3ZSB3YW50 IHRvIGV4cHJlc3MgdGhpbmdzIChzaW1wbGlmaWVkICkgbGlrZSBiZWxvdzo8 L2Rpdj48ZGl2Pjxicj48L2Rpdj48ZGl2PmNsYXNzIHR5cGUgWydiXSBwcm9t aXNlID0gb2JqZWN0PC9kaXY+PGRpdj4gICAgbWV0aG9kIHRoZW5fIDogJ2Eg LiAoJ2IgLSZndDsgJ2EgcHJvbWlzZSkgLSZndDsgJ2EgcHJvbWlzZTwvZGl2 PjxkaXY+ZW5kPC9kaXY+PGRpdj48YnI+PC9kaXY+PGRpdj5JdCBpcyBub3Qg ZXhwcmVzc2libGUgaW4gT0NhbWwsIFRoZSB1bml2ZXJzYWwgdHlwZSB2YXJp YWJsZSAnYSBjYW4gbm90IGJlIGdlbmVyYWxpemVkLCBJIHRyaWVkIHRoaXMg dG9vOjwvZGl2PjxkaXY+PGJyPjwvZGl2PjxkaXY+dHlwZSAnYiBwcm9taXNl ID0gJmx0OyB0aGVuXyA6ICdhIC4gKCdiIC0mZ3Q7ICAnYSB1KSAtJmd0OyAn YSB1ICZndDs8L2Rpdj48ZGl2Pjxicj48L2Rpdj48ZGl2Pkl0IGRvZXMgbm90 IHdvcmsgZWl0aGVyLCB0aGFua3MgLS0gSG9uZ2JvPC9kaXY+PC9kaXY+PC9i b2R5PjwvaHRtbD4= --BOUNDARY_576D7A6E012D045A003906FD_0_127091_p057--