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 763C67FEFE for ; Fri, 24 Jun 2016 21:09:18 +0200 (CEST) IronPort-PHdr: 9a23:dS6+EBLL36CDWcvN59mcpTZWNBhigK39O0sv0rFitYgVKPrxwZ3uMQTl6Ol3ixeRBMOAuqoC07qd6vmwEUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuS9aU15T8jrnis7ToICxwzAKnZr1zKBjk5S7wjeIxxbVYF6Aq1xHSqWFJcekFjUlhJFaUggqurpzopM0rxR9NoOos/NJsVqDzfqJwDeAJTWduD2dg9cTvsR7bZQSK73oYFG4Rl0lyDhDB/S39C93RtS31vO016imTO8K8BeQ0SzSr6agxGULAgiMAMDsz/XvYzMp9kPQIjgimokk144nSb4uSfMh+d6XSNZMwYU1me+x8bQMGStznNsMrItpAd64Mr5v9rl0B90rjLQOoA+TqwDJSiTnw0LFsgLdpKh3PwAF1R4FGi3/TttigaPYf 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: A0CFAABMhG1XhxP0v0VchBR9qQeBWoNBhwZHhDqBeyKFdh6BGTgUAQEBAQEBAQERAQEBCA0JCSEvgjKCGgEBARMBEwQGQQsbFQIBDR0CBB0CHwUHAyEICogEAxcFCa4Ih3EBAWaGJYYFAwqECQEBAQEGAQEBASOFMIVFgkOCFIJqgloFhk8MkXEqCAEBARaBDoRjhiuEOIxsiA+Hbx6CT4FXPDIBiS8BAQE X-IPAS-Result: A0CFAABMhG1XhxP0v0VchBR9qQeBWoNBhwZHhDqBeyKFdh6BGTgUAQEBAQEBAQERAQEBCA0JCSEvgjKCGgEBARMBEwQGQQsbFQIBDR0CBB0CHwUHAyEICogEAxcFCa4Ih3EBAWaGJYYFAwqECQEBAQEGAQEBASOFMIVFgkOCFIJqgloFhk8MkXEqCAEBARaBDoRjhiuEOIxsiA+Hbx6CT4FXPDIBiS8BAQE X-IronPort-AV: E=Sophos;i="5.26,522,1459807200"; d="scan'208,217";a="223965933" 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 21:09:17 +0200 X-BB-Reception-Complete: 24 Jun 2016 15:09:16 -0400 X-IP-Listener: Outgoing Mail X-IP-MID: 245031727 Received: from p057.bloomberg.com (HELO p057) ([10.126.157.205]) by mgnj1.bloomberg.net with SMTP; 24 Jun 2016 15:09:16 -0400 X-BLP-INETSVC: version=BLP_APP_S_INETSVC_1.0.1; host=mgnj1:25; conid=78 Date: Fri, 24 Jun 2016 19:09:16 -0000 From: "Hongbo Zhang (BLOOMBERG/ 731 LEX)" Reply-To: "Hongbo Zhang" To: yallop@gmail.com Cc: caml-list@inria.fr MIME-Version: 1.0 Message-ID: <576D855C01F404C000390756_0_118171@p057> X-BLP-GUID: 576D855C01F404C0003907560000 Content-Type: multipart/alternative; boundary="BOUNDARY_576D855C01F404C000390756_0_133511_p057" Content-ID: Subject: Re: [Caml-list] typing question: universal type variable in class type --BOUNDARY_576D855C01F404C000390756_0_133511_p057 Content-Type: text/plain; charset=UTF-8 Content-Disposition: inline Content-Transfer-Encoding: base64 SGkgSmVyZW15LCAKICAgVGhhbmtzIGZvciB0aGUgcmVmZXJlbmNlISAKICAg VGhlIHdvcmsgYXJvdW5kIGlzIGEgYml0IGNvbXBsZXggc2luY2UgdGhpcyBw YXJ0IGlzIEZGSSBjb2RlLCBzbyB3ZSBtYXkgZmFsbCBiYWNrIHRvIHVzZSBh biBhYnN0cmFjdCB0eXBlIGAnYSBwcm9taXNlYCBpbnN0ZWFkLgogICBJbiB5 b3VyIGNvbW1lbnRzICJJbiBhbiBpbWFnaW5hcnkgZXh0ZW5zaW9uIHRvIE9D YW1sCndpdGggc3VwcG9ydCBmb3IgZ3JvdXBzIG9mIG11dHVhbGx5LXJlY3Vy c2l2ZSB0eXBlcyBhbmQgY2xhc3NlcyB3ZQpjb3VsZCB3cml0ZSBzb21ldGhp bmcgbGlrZSB0aGlzOgoKY2xhc3MgWydhXSBjb250YWluZXIgKHY6J2EpID0g b2JqZWN0Cm1ldGhvZCBtYXAgOiAnYi4gKCdhIC0+ICdiKSAtPiAnYiBjb250 YWluZXJfYXV4ID0KZnVuIGYgLT4geyBjb250YWluZXIgPSBuZXcgY29udGFp bmVyIChmIHYpIH0KZW5kCmFuZCAnYSBjb250YWluZXJfYXV4ID0geyBjb250 YWluZXI6ICdhIGNvbnRhaW5lciB9IiwgdGhpcyBpcyBhIG5pY2UgZmVhdHVy ZSBJIHdpc2ggd2UgY291bGQgaGF2ZSBpbiBPQ2FtbCAtLSBIb25nYm8KCkZy b206IHlhbGxvcEBnbWFpbC5jb20gQXQ6IDA2LzI0LzE2IDE0OjU2OjM1ClRv OiBIT05HQk8gWkhBTkcgKEJMT09NQkVSRy8gNzMxIExFWCkKQ2M6IGNhbWwt bGlzdEBpbnJpYS5mcgpTdWJqZWN0OiBSZTogW0NhbWwtbGlzdF0gdHlwaW5n IHF1ZXN0aW9uOiB1bml2ZXJzYWwgdHlwZSB2YXJpYWJsZSBpbiBjbGFzcyB0 eXBlCgpPbiAyNCBKdW5lIDIwMTYgYXQgMTk6MjIsIEhvbmdibyBaaGFuZyAo QkxPT01CRVJHLyA3MzEgTEVYKQo8aHpoYW5nMjk1QGJsb29tYmVyZy5uZXQ+ IHdyb3RlOgo+IFdoZW4gd2Ugd3JvdGUgYmluZGluZ3MgZm9yIHByb21pc2Us IHdlIHdhbnQgdG8gZXhwcmVzcyB0aGluZ3MgKHNpbXBsaWZpZWQgKQo+IGxp a2UgYmVsb3c6Cj4KPiBjbGFzcyB0eXBlIFsnYl0gcHJvbWlzZSA9IG9iamVj dAo+IG1ldGhvZCB0aGVuXyA6ICdhIC4gKCdiIC0+ICdhIHByb21pc2UpIC0+ ICdhIHByb21pc2UKPiBlbmQKPgo+IEl0IGlzIG5vdCBleHByZXNzaWJsZSBp biBPQ2FtbCwgVGhlIHVuaXZlcnNhbCB0eXBlIHZhcmlhYmxlICdhIGNhbiBu b3QgYmUKPiBnZW5lcmFsaXplZCwgSSB0cmllZCB0aGlzIHRvbzoKPgo+IHR5 cGUgJ2IgcHJvbWlzZSA9IDwgdGhlbl8gOiAnYSAuICgnYiAtPiAnYSB1KSAt PiAnYSB1ID4KPgo+IEl0IGRvZXMgbm90IHdvcmsgZWl0aGVyLCB0aGFua3Mg LS0gSG9uZ2JvCgpZb3UgbWlnaHQgZmluZCBzb21ldGhpbmcgdXNlZnVsIGlu IHRoaXMgdGhyZWFkOgoKICAgaHR0cHM6Ly9zeW1wYS5pbnJpYS5mci9zeW1w YS9hcmMvY2FtbC1saXN0LzIwMTUtMTAvbXNnMDAxMzAuaHRtbAoKLS0gCkNh bWwtbGlzdCBtYWlsaW5nIGxpc3QuICBTdWJzY3JpcHRpb24gbWFuYWdlbWVu dCBhbmQgYXJjaGl2ZXM6Cmh0dHBzOi8vc3ltcGEuaW5yaWEuZnIvc3ltcGEv YXJjL2NhbWwtbGlzdApCZWdpbm5lcidzIGxpc3Q6IGh0dHA6Ly9ncm91cHMu eWFob28uY29tL2dyb3VwL29jYW1sX2JlZ2lubmVycwpCdWcgcmVwb3J0czog aHR0cDovL2NhbWwuaW5yaWEuZnIvYmluL2NhbWwtYnVncwoKCg== --BOUNDARY_576D855C01F404C000390756_0_133511_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 bSIgYmJnLWZvbnQtZmFtaWx5PSJub3JtYWwiPjxzcGFuIHN0eWxlPSJmb250 LXNpemU6IHgtc21hbGw7IiBkYXRhLWJiLWZvbnQtc2l6ZT0ic21hbGwiIGJi Zy1mb250LXNpemU9InNtYWxsIj5IaSBKZXJlbXksJm5ic3A7PC9zcGFuPjxk aXY+PHNwYW4gc3R5bGU9ImZvbnQtc2l6ZTogeC1zbWFsbDsiIGRhdGEtYmIt Zm9udC1zaXplPSJzbWFsbCJiYmctZm9udC1zaXplPSJzbWFsbCI+ICAgVGhh bmtzIGZvciB0aGUgcmVmZXJlbmNlISZuYnNwOzwvc3Bhbj48ZGl2IGRhdGEt YmItZm9udC1zaXplPSJzbWFsbCIgYmJnLWZvbnQtc2l6ZT0ic21hbGwiIHN0 eWxlPSJmb250LXNpemU6IHgtc21hbGw7Ij4gICBUaGUgd29yayBhcm91bmQg aXMgYSBiaXQgY29tcGxleCBzaW5jZSB0aGlzIHBhcnQgaXMgRkZJIGNvZGUs IHNvIHdlIG1heSBmYWxsIGJhY2sgdG8gdXNlIGFuIGFic3RyYWN0IHR5cGUg YCdhIHByb21pc2VgIGluc3RlYWQuPC9kaXY+PGRpdj48c3BhbiBzdHlsZT0i Zm9udC1zaXplOiB4LXNtYWxsOyIgZGF0YS1iYi1mb250LXNpemU9InNtYWxs ImJiZy1mb250LXNpemU9InNtYWxsIj4gICBJbiB5b3VyIGNvbW1lbnRzICI8 L3NwYW4+PHNwYW4gc3R5bGU9ImZvbnQtc2l6ZTogeC1zbWFsbDsiIGRhdGEt YmItZm9udC1zaXplPSJzbWFsbCIgYmJnLWZvbnQtc2l6ZT0ic21hbGwiPklu IGFuIGltYWdpbmFyeSBleHRlbnNpb24gdG8gT0NhbWw8YnI+d2l0aCBzdXBw b3J0IGZvciBncm91cHMgb2YgbXV0dWFsbHktcmVjdXJzaXZlIHR5cGVzIGFu ZCBjbGFzc2VzIHdlPGJyPmNvdWxkIHdyaXRlIHNvbWV0aGluZyBsaWtlIHRo aXM6PGJyPjxicj5jbGFzcyBbJ2FdIGNvbnRhaW5lciAodjonYSkgPSBvYmpl Y3Q8YnI+bWV0aG9kIG1hcCA6ICdiLiAoJ2EgLSZndDsgJ2IpIC0mZ3Q7ICdi IGNvbnRhaW5lcl9hdXggPTxicj5mdW4gZiAtJmd0OyB7IGNvbnRhaW5lciA9 IG5ldyBjb250YWluZXIgKGYgdikgfTxicj5lbmQ8YnI+YW5kICdhIGNvbnRh aW5lcl9hdXggPSB7IGNvbnRhaW5lcjogJ2EgY29udGFpbmVyIH0iLCB0aGlz IGlzIGEgbmljZSBmZWF0dXJlIEkgd2lzaCB3ZSBjb3VsZCBoYXZlIGluIE9D YW1sIC0tIEhvbmdibzwvc3Bhbj48c3BhbiBzdHlsZT0iZm9udC1zaXplOiB4 LXNtYWxsOyJkYXRhLWJiLWZvbnQtc2l6ZT0ic21hbGwiIGJiZy1mb250LXNp emU9InNtYWxsIj48YnI+PC9zcGFuPjxkaXYgY2xhc3M9InJ0ZS1zdHlsZS1t YWludGFpbmVyIiBzdHlsZT0iZm9udC1zaXplOiBzbWFsbDsgZm9udC1mYW1p bHk6ICdDb3VyaWVyIE5ldycsIENvdXJpZXI7IGNvbG9yOiByZ2IoMCwgMCwg MCk7ImRhdGEtY29sb3I9Imdsb2JhbC1kZWZhdWx0IiBiYmctY29sb3I9ImRl ZmF1bHQiIGRhdGEtYmItZm9udC1zaXplPSJtZWRpdW0iIGJiZy1mb250LXNp emU9Im1lZGl1bSIgYmJnLWZvbnQtZmFtaWx5PSJmaXhlZC13aWR0aCI+PGJy PjxkaXYgY2xhc3M9ImJiZy1ydGUtZm9sZC1jb250ZW50IiBkYXRhLWhlYWRl cj0iRnJvbTogeWFsbG9wQGdtYWlsLmNvbSBBdDogMDYvMjQvMTYgMTQ6NTY6 MzUiIGRhdGEtZGlnZXN0PSJGcm9tOiB5YWxsb3BAZ21haWwuY29tIEF0OiAw Ni8yNC8xNiAxNDo1NjozNSIgc3R5bGU9IiI+PGRpdiBjbGFzcz0iYmJnLXJ0 ZS1mb2xkLXN1bW1hcnkiPkZyb206IHlhbGxvcEBnbWFpbC5jb20gQXQ6IDA2 LzI0LzE2IDE0OjU2OjM1PC9kaXY+PGRpdj5UbzogPGEgc3BlbGxjaGVjaz0i ZmFsc2UiIGJiZy1kZXN0aW5hdGlvbj0ibWFpbHRvOmh6aGFuZzI5NUBibG9v bWJlcmcubmV0IiBocmVmPSJtYWlsdG86aHpoYW5nMjk1QGJsb29tYmVyZy5u ZXQiPkhPTkdCTyBaSEFORyAoQkxPT01CRVJHLyA3MzEgTEVYKTwvYT48YnI+ Q2M6IDxhIHNwZWxsY2hlY2s9ImZhbHNlImJiZy1kZXN0aW5hdGlvbj0ibWFp bHRvOnJ0ZTpiaW5kIiBocmVmPSJtYWlsdG86Y2FtbC1saXN0QGlucmlhLmZy Ij5jYW1sLWxpc3RAaW5yaWEuZnI8L2E+PGJyPlN1YmplY3Q6IFJlOiBbQ2Ft bC1saXN0XSB0eXBpbmcgcXVlc3Rpb246IHVuaXZlcnNhbCB0eXBlIHZhcmlh YmxlIGluIGNsYXNzIHR5cGU8YnI+PC9kaXY+PC9kaXY+PGJsb2NrcXVvdGU+ T24gMjQgSnVuZSAyMDE2IGF0IDE5OjIyLCBIb25nYm8gWmhhbmcgKEJMT09N QkVSRy8gNzMxIExFWCk8YnI+Jmx0OzxhIHNwZWxsY2hlY2s9ImZhbHNlImJi Zy1kZXN0aW5hdGlvbj0ibWFpbHRvOnJ0ZTpiaW5kIiBocmVmPSJtYWlsdG86 aHpoYW5nMjk1QGJsb29tYmVyZy5uZXQiIGRhdGEtZGVzdGluYXRpb249Im1h aWx0bzpydGU6YmluZCI+aHpoYW5nMjk1QGJsb29tYmVyZy5uZXQ8L2E+Jmd0 OyB3cm90ZTo8YnI+Jmd0OyBXaGVuIHdlIHdyb3RlIGJpbmRpbmdzIGZvciBw cm9taXNlLCB3ZSB3YW50IHRvIGV4cHJlc3MgdGhpbmdzIChzaW1wbGlmaWVk ICk8YnI+Jmd0OyBsaWtlIGJlbG93Ojxicj4mZ3Q7PGJyPiZndDsgY2xhc3Mg dHlwZSBbJ2JdIHByb21pc2UgPSBvYmplY3Q8YnI+Jmd0OyBtZXRob2QgdGhl bl8gOiAnYSAuICgnYiAtJmd0OyAnYSBwcm9taXNlKSAtJmd0OyAnYSBwcm9t aXNlPGJyPiZndDsgZW5kPGJyPiZndDs8YnI+Jmd0OyBJdCBpcyBub3QgZXhw cmVzc2libGUgaW4gT0NhbWwsIFRoZSB1bml2ZXJzYWwgdHlwZSB2YXJpYWJs ZSAnYSBjYW4gbm90IGJlPGJyPiZndDsgZ2VuZXJhbGl6ZWQsIEkgdHJpZWQg dGhpcyB0b286PGJyPiZndDs8YnI+Jmd0OyB0eXBlICdiIHByb21pc2UgPSAm bHQ7IHRoZW5fIDogJ2EgLiAoJ2IgLSZndDsgJ2EgdSkgLSZndDsgJ2EgdSAm Z3Q7PGJyPiZndDs8YnI+Jmd0OyBJdCBkb2VzIG5vdCB3b3JrIGVpdGhlciwg dGhhbmtzIC0tIEhvbmdibzxicj48YnI+WW91IG1pZ2h0IGZpbmQgc29tZXRo aW5nIHVzZWZ1bCBpbiB0aGlzIHRocmVhZDo8YnI+PGJyPiAgIDxhIGJiZy1k ZXN0aW5hdGlvbj0icnRlOmJpbmQic3BlbGxjaGVjaz0iZmFsc2UiIGhyZWY9 Imh0dHBzOi8vc3ltcGEuaW5yaWEuZnIvc3ltcGEvYXJjL2NhbWwtbGlzdC8y MDE1LTEwL21zZzAwMTMwLmh0bWwiZGF0YS1kZXN0aW5hdGlvbj0icnRlOmJp bmQiPmh0dHBzOi8vc3ltcGEuaW5yaWEuZnIvc3ltcGEvYXJjL2NhbWwtbGlz dC8yMDE1LTEwL21zZzAwMTMwLmh0bWw8L2E+PGJyPjxicj4tLSA8YnI+Q2Ft bC1saXN0IG1haWxpbmcgbGlzdC4gIFN1YnNjcmlwdGlvbiBtYW5hZ2VtZW50 IGFuZCBhcmNoaXZlczo8YnI+PGEgYmJnLWRlc3RpbmF0aW9uPSJydGU6Ymlu ZCJzcGVsbGNoZWNrPSJmYWxzZSIgaHJlZj0iaHR0cHM6Ly9zeW1wYS5pbnJp YS5mci9zeW1wYS9hcmMvY2FtbC1saXN0IiBkYXRhLWRlc3RpbmF0aW9uPSJy dGU6YmluZCI+aHR0cHM6Ly9zeW1wYS5pbnJpYS5mci9zeW1wYS9hcmMvY2Ft bC1saXN0PC9hPjxicj5CZWdpbm5lcidzIGxpc3Q6IDxhIGJiZy1kZXN0aW5h dGlvbj0icnRlOmJpbmQic3BlbGxjaGVjaz0iZmFsc2UiIGhyZWY9Imh0dHA6 Ly9ncm91cHMueWFob28uY29tL2dyb3VwL29jYW1sX2JlZ2lubmVycyIgZGF0 YS1kZXN0aW5hdGlvbj0icnRlOmJpbmQiPmh0dHA6Ly9ncm91cHMueWFob28u Y29tL2dyb3VwL29jYW1sX2JlZ2lubmVyczwvYT48YnI+QnVnIHJlcG9ydHM6 IDxhIGJiZy1kZXN0aW5hdGlvbj0icnRlOmJpbmQic3BlbGxjaGVjaz0iZmFs c2UiIGhyZWY9Imh0dHA6Ly9jYW1sLmlucmlhLmZyL2Jpbi9jYW1sLWJ1Z3Mi ZGF0YS1kZXN0aW5hdGlvbj0icnRlOmJpbmQiPmh0dHA6Ly9jYW1sLmlucmlh LmZyL2Jpbi9jYW1sLWJ1Z3M8L2E+PGJyPjxicj48L2Jsb2NrcXVvdGU+PC9k aXY+PC9kaXY+PC9kaXY+PC9kaXY+PC9ib2R5PjwvaHRtbD4= --BOUNDARY_576D855C01F404C000390756_0_133511_p057--