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 CBF16800BE for ; Fri, 10 Feb 2017 15:49:59 +0100 (CET) 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@mgnj5.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.207 is permitted sender) identity=pra; client-ip=69.191.244.207; 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.207 as permitted sender) identity=mailfrom; client-ip=69.191.244.207; 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@mgnj5.bloomberg.net) identity=helo; client-ip=69.191.244.207; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="hzhang295@bloomberg.net"; x-sender="postmaster@mgnj5.bloomberg.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AzjEXVhS30W06wA7JlpCyL3dor9psv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa64YBaN2/xhgRfzUJnB7Loc0qyN4vymCTNLv8jJ8ChbNscTB1ld0Y?= =?us-ascii?q?RetjdjKfDGIHWzFOTtYS0+EZYKf35e1Fb/D3JoHt3jbUbZuHy44G1aMBz+MQ1o?= =?us-ascii?q?Ora9QdaK3Izkn9y1rpneZC1MnCXnPPV0IQnllwjJstgqht4oCqE3xRHO6klIcu?= =?us-ascii?q?JZjys8JUCTlhDzvJbt1JRn9CNVsf87+IhGXLmsLIoiSrkNRhQhNW8/44XZtRDF?= =?us-ascii?q?QkPPzF87dUA8vyBnRECat0iyerrB82Gy4upv2CCcMpenEJg+XTOl6q1mUhCuji?= =?us-ascii?q?obYW1quFrLg9B92foI6CmqoAZyltbZ?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AgAAD70Z1Yh8/0v0VeGQEBAQEBAQEBA?= =?us-ascii?q?QEBBwEBAQEBFAEBAQEBAQEBAQEBBwEBAQEBhAiBCYNZighykRoQj3pRhFuCDYY?= =?us-ascii?q?iHIJdPxgBAQEBAQEBAQEBARIBAQEIDQkKHS+CMxmCHQEVARMKTBsEEQIrAgQdI?= =?us-ascii?q?QwDIQiJcAWmd4gDAQFngiWEaIZpAQEIAQEBASSFW4VghGs1gjqCXwWBKwEBAYh?= =?us-ascii?q?Gi2CGFAgBAQEagSahWJMVH4E2WkZhPIM4gW1ANYoeAQEB?= X-IPAS-Result: =?us-ascii?q?A0AgAAD70Z1Yh8/0v0VeGQEBAQEBAQEBAQEBBwEBAQEBFAE?= =?us-ascii?q?BAQEBAQEBAQEBBwEBAQEBhAiBCYNZighykRoQj3pRhFuCDYYiHIJdPxgBAQEBA?= =?us-ascii?q?QEBAQEBARIBAQEIDQkKHS+CMxmCHQEVARMKTBsEEQIrAgQdIQwDIQiJcAWmd4g?= =?us-ascii?q?DAQFngiWEaIZpAQEIAQEBASSFW4VghGs1gjqCXwWBKwEBAYhGi2CGFAgBAQEag?= =?us-ascii?q?SahWJMVH4E2WkZhPIM4gW1ANYoeAQEB?= X-IronPort-AV: E=Sophos;i="5.35,141,1484002800"; d="scan'208,217";a="259763800" Received: from mgnj5.bloomberg.net ([69.191.244.207]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Feb 2017 15:49:58 +0100 X-BB-Reception-Complete: 10 Feb 2017 09:49:57 -0500 X-IP-Listener: Outgoing Mail X-IP-MID: 444274884 Received: from msllnjpmsgsv06.bloomberg.com (HELO msllnjpmsgsv06) ([10.126.134.166]) by mgnj5.bloomberg.net with SMTP; 10 Feb 2017 09:49:57 -0500 X-BLP-INETSVC: version=BLP_APP_S_INETSVC_1.0.1; host=mgnj5:25; conid=116 Date: Fri, 10 Feb 2017 14:49:57 -0000 From: "Hongbo Zhang (BLOOMBERG/ 731 LEX)" Reply-To: "Hongbo Zhang" To: leo@lpw25.net Cc: caml-list@inria.fr, garrigue@math.nagoya-u.ac.jp MIME-Version: 1.0 Message-ID: <589DD31502F9008000390391_0_47973@msllnjpmsgsv06> X-BLP-GUID: 589DD31502F90080003903910000 Content-Type: multipart/alternative; boundary="BOUNDARY_589DD31502F9008000390391_0_51760_msllnjpmsgsv06" Content-ID: Subject: Re: [Caml-list] extend object type? --BOUNDARY_589DD31502F9008000390391_0_51760_msllnjpmsgsv06 Content-Type: text/plain; charset=UTF-8 Content-Disposition: inline Content-Transfer-Encoding: base64 VGhlIHN5bnRheCBpcyBhIGJpdCB0b28gaGVhdnkuCk5vdGUgdGhhdCBzdHJ1 Y3R1YWwgdHlwaW5nIGlzIGEga2lsbGVyIGZlYXR1cmUgZm9yIEZGSSB3aXRo IEpTIGxpYnJhcmllcywKaXQgd291bGQgYmUgYXdlc29tZSBpZiB3ZSBjb3Vs ZCBhZGQgc29tZSBzdWdhciB0byBtYWtlIGJlbG93IGhhcHBlbgp0eXBlIHQx ID0gPCBmIDogaW50ID4gCnR5cGUgdDIgPSA8IC4udDEgOyBnIDogYm9vbD4K SXMgaXQgcG9zc2libGUgdG8gbWFrZSBpdCBoYXBwZW4/IFRoYW5rcyAtLSBI b25nYm8KCkZyb206IGxlb0BscHcyNS5uZXQgQXQ6IDAyLzEwLzE3IDA0OjQy OjUyClRvOiBjYW1sLWxpc3RAaW5yaWEuZnIKU3ViamVjdDogUmU6IFtDYW1s LWxpc3RdIGV4dGVuZCBvYmplY3QgdHlwZT8KCiAgICAKWW91IGNhbid0IGRv IGl0IGZvciBvYmplY3QgdHlwZXMgZGlyZWN0bHksIGJ1dCB5b3UgY2FuIGRv IGl0IGZvciBjbGFzcyB0eXBlczoKIAoKIAogIGNsYXNzIHR5cGUgdDEgPSBv YmplY3QgbWV0aG9kIGYgOiBpbnQgZW5kCiAKCiAKICBjbGFzcyB0eXBlIHQy ID0gb2JqZWN0IGluaGVyaXQgdDEgbWV0aG9kIGcgOiBib29sIGVuZAogCgog CkRlZmluaW5nIGEgY2xhc3MgdHlwZSBhbHNvIGRlZmluZXMgdGhlIGNvcnJl c3BvbmRpbmcgb2JqZWN0IHR5cGUsIHdoaWNoIG1lYW5zIHRoZSBhYm92ZSBy ZXN1bHRzIGluIHR5cGVzIGNhbGxlZCB0MSBhbmQgdDIgdGhhdCBhcmUgZXF1 YWwgdG8gdGhlIG9uZXMgeW91IHdhbnQuCiAKCiAKVGhpcyB0cmljayBhbHNv IGxldHMgeW91IHVzZSAjdDIgdG8gcmVmZXIgdG8gdGhlIHBvbHltb3JwaGlj IHR5cGUgPCBmIDogaW50OyBnIDogYm9vbDsgLi4gPi4gCgogClJlZ2FyZHMs CiAKCiAKTGVvIAoKIApPbiBUaHUsIDkgRmViIDIwMTcsIGF0IDExOjE1IFBN LCBTdGVmZmVuIFNtb2xrYSB3cm90ZToKIApJcyB0aGVyZSBzeW50YXggdG8g Y29udmVuaWVudGx5IGV4dGVuZCBvYmplY3QgdHlwZXM/CiAKQ29uY3JldGVs eSwgZm9yIHR5cGVzCiAKCiAKdHlwZSB0MSA9IDwgZiA6IGludCA+CiAKdHlw ZSB0MiA9IDwgZiA6IGludDsgZyA6IGJvb2wgPgogCgogCkkgd291bGQgbGlr ZSBhIHN5bnRheCB0aGF0IGFsbG93cyBtZSB0byBkZWZpbmUgdDIgaW4gdGVy bXMgb2YgdDEuCiAKCiAKVGhhbmtzIQogCi0tIFN0ZWZmZW4KCgogIAo= --BOUNDARY_589DD31502F9008000390391_0_51760_msllnjpmsgsv06 Content-Type: text/html; charset=UTF-8 Content-Disposition: inline Content-Transfer-Encoding: base64 PGh0bWw+PGhlYWQ+PHRpdGxlPjwvdGl0bGU+PC9oZWFkPjxib2R5PjwhLS0g cnRlLXZlcnNpb24gMC4yIDk5NDc1NTE2MzcyOTQwMDhiNzdiY2UyNWViNjgz ZGFjIC0tPjxkaXYgY2xhc3M9InJ0ZS1zdHlsZS1tYWludGFpbmVyIiBzdHls ZT0iZm9udC1mYW1pbHk6IEFyaWFsLCAnQkIuUHJvcG9ydGlvbmFsJzsgd2hp dGUtc3BhY2U6IHByZS13cmFwOyBmb250LXNpemU6IHNtYWxsOyJkYXRhLWNv bG9yPSJnbG9iYWwtZGVmYXVsdCIgYmJnLWNvbG9yPSJkZWZhdWx0IiBkYXRh LWJiLWZvbnQtc2l6ZT0ibWVkaXVtIiBiYmctZm9udC1zaXplPSJtZWRpdW0i IGJiZy1mb250LWZhbWlseT0ibm9ybWFsIj5UaGUgc3ludGF4IGlzIGEgYml0 IHRvbyBoZWF2eS48ZGl2Pk5vdGUgdGhhdCBzdHJ1Y3R1YWwgdHlwaW5nIGlz IGEga2lsbGVyIGZlYXR1cmUgZm9yIEZGSSB3aXRoIEpTIGxpYnJhcmllcyw8 L2Rpdj48ZGl2Pml0IHdvdWxkIGJlIGF3ZXNvbWUgaWYgd2UgY291bGQgYWRk IHNvbWUgc3VnYXIgdG8gbWFrZSBiZWxvdyBoYXBwZW48L2Rpdj48ZGl2PnR5 cGUgdDEgPSAmbHQ7IGYgOiBpbnQgJmd0OyZuYnNwOzwvZGl2PjxkaXY+dHlw ZSB0MiA9ICZsdDsgLi50MSA7IGcgOiBib29sJmd0OzwvZGl2PjxkaXY+SXMg aXQgcG9zc2libGUgdG8gbWFrZSBpdCBoYXBwZW4/IFRoYW5rcyAtLSBIb25n Ym88YnI+PGRpdiBjbGFzcz0icnRlLXN0eWxlLW1haW50YWluZXIiIHN0eWxl PSJmb250LXNpemU6IHNtYWxsOyBmb250LWZhbWlseTogJ0NvdXJpZXIgTmV3 JywgQ291cmllciwgJ0JCLkZpeGVkV2lkdGgnOyJkYXRhLWNvbG9yPSJnbG9i YWwtZGVmYXVsdCIgYmJnLWNvbG9yPSJkZWZhdWx0IiBkYXRhLWJiLWZvbnQt c2l6ZT0ibWVkaXVtIiBiYmctZm9udC1zaXplPSJtZWRpdW0iIGJiZy1mb250 LWZhbWlseT0iZml4ZWQtd2lkdGgiPjxicj48ZGl2IGNsYXNzPSJiYmctcnRl LWZvbGQtY29udGVudCIgZGF0YS1oZWFkZXI9IkZyb206IGxlb0BscHcyNS5u ZXQgQXQ6IDAyLzEwLzE3IDA0OjQyOjUyIiBkYXRhLWRpZ2VzdD0iRnJvbTog bGVvQGxwdzI1Lm5ldCBBdDogMDIvMTAvMTcgMDQ6NDI6NTIiIHN0eWxlPSIi PjxkaXYgY2xhc3M9ImJiZy1ydGUtZm9sZC1zdW1tYXJ5Ij5Gcm9tOiBsZW9A bHB3MjUubmV0IEF0OiAwMi8xMC8xNyAwNDo0Mjo1MjwvZGl2PjxkaXY+VG86 IDxhIHNwZWxsY2hlY2s9ImZhbHNlIiBiYmctZGVzdGluYXRpb249Im1haWx0 bzpydGU6YmluZCI+Y2FtbC1saXN0QGlucmlhLmZyPC9hPjxicj5TdWJqZWN0 OiBSZTogW0NhbWwtbGlzdF0gZXh0ZW5kIG9iamVjdCB0eXBlPzxicj48L2Rp dj48L2Rpdj48ZGl2IGNsYXNzPSJydGUtaW50ZXJuZXQtYmxvY2std3JhcHBl ciIgc3R5bGU9ImNvbG9yOiBibGFjazsgZm9udC1mYW1pbHk6IEFyaWFsLCAn QkIuUHJvcG9ydGlvbmFsJzsgZm9udC1zaXplOiBzbWFsbDsgd2hpdGUtc3Bh Y2U6IG5vcm1hbDsgYmFja2dyb3VuZC1hdHRhY2htZW50OiBpbml0aWFsOyBi YWNrZ3JvdW5kLWNvbG9yOiB3aGl0ZTsgYmFja2dyb3VuZC1zaXplOiBpbml0 aWFsOyBiYWNrZ3JvdW5kLW9yaWdpbjogaW5pdGlhbDsgYmFja2dyb3VuZC1j bGlwOiBpbml0aWFsOyBiYWNrZ3JvdW5kLXBvc2l0aW9uOiBpbml0aWFsOyBi YWNrZ3JvdW5kLXJlcGVhdDogaW5pdGlhbDsiZGF0YS1ibG9ja2VkLWJnaW1h Z2U9ImluaXRpYWwiPjxkaXYgY2xhc3M9InJ0ZS1pbnRlcm5ldC1ibG9jayI+ PGJsb2NrcXVvdGU+ICAgIDxkaXY+WW91IGNhbid0IGRvIGl0IGZvciBvYmpl Y3QgdHlwZXMgZGlyZWN0bHksIGJ1dCB5b3UgY2FuIGRvIGl0IGZvciBjbGFz cyB0eXBlczo8YnI+PC9kaXY+IDxkaXY+PGJyPjwvZGl2PiA8ZGl2PiZuYnNw OyBjbGFzcyB0eXBlIHQxID0gb2JqZWN0IG1ldGhvZCBmIDogaW50IGVuZDxi cj48L2Rpdj4gPGRpdj48YnI+PC9kaXY+IDxkaXY+Jm5ic3A7Jm5ic3A7Y2xh c3MgdHlwZSB0MiA9IG9iamVjdCBpbmhlcml0IHQxIG1ldGhvZCBnIDogYm9v bCBlbmQ8YnI+PC9kaXY+IDxkaXY+PGJyPjwvZGl2PiA8ZGl2PkRlZmluaW5n IGEgY2xhc3MgdHlwZSBhbHNvIGRlZmluZXMgdGhlIGNvcnJlc3BvbmRpbmcg b2JqZWN0IHR5cGUsIHdoaWNoIG1lYW5zIHRoZSBhYm92ZSByZXN1bHRzIGlu IHR5cGVzIGNhbGxlZCB0MSBhbmQgdDIgdGhhdCBhcmUgZXF1YWwgdG8gdGhl IG9uZXMgeW91IHdhbnQuPGJyPjwvZGl2PiA8ZGl2Pjxicj48L2Rpdj4gPGRp dj5UaGlzIHRyaWNrIGFsc28gbGV0cyB5b3UgdXNlICN0MiB0byByZWZlciB0 byB0aGUgcG9seW1vcnBoaWMgdHlwZSAmbHQ7IGYgOiBpbnQ7IGcgOiBib29s OyAuLiAmZ3Q7LjwvZGl2PiA8ZGl2Pjxicj48L2Rpdj4gPGRpdj5SZWdhcmRz LDxicj48L2Rpdj4gPGRpdj48YnI+PC9kaXY+IDxkaXY+TGVvPC9kaXY+IDxk aXY+PGJyPjwvZGl2PiA8ZGl2Pk9uIFRodSwgOSBGZWIgMjAxNywgYXQgMTE6 MTUgUE0sIFN0ZWZmZW4gU21vbGthIHdyb3RlOjxicj48L2Rpdj4gPGJsb2Nr cXVvdGUgdHlwZT0iY2l0ZSI+PGRpdiBkaXI9Imx0ciI+PGRpdj5JcyB0aGVy ZSBzeW50YXggdG8gY29udmVuaWVudGx5IGV4dGVuZCBvYmplY3QgdHlwZXM/ PGJyPjwvZGl2PiA8ZGl2PkNvbmNyZXRlbHksIGZvciB0eXBlczxicj48L2Rp dj4gPGRpdj48YnI+PC9kaXY+IDxkaXY+dHlwZSB0MSA9ICZsdDsgZiA6IGlu dCAmZ3Q7PGJyPjwvZGl2PiA8ZGl2PnR5cGUgdDIgPSAmbHQ7IGYgOiBpbnQ7 IGcgOiBib29sICZndDs8YnI+PC9kaXY+IDxkaXY+PGJyPjwvZGl2PiA8ZGl2 Pkkgd291bGQgbGlrZSBhIHN5bnRheCB0aGF0IGFsbG93cyBtZSB0byBkZWZp bmUgdDIgaW4gdGVybXMgb2YgdDEuPGJyPjwvZGl2PiA8ZGl2Pjxicj48L2Rp dj4gPGRpdj5UaGFua3MhPGJyPjwvZGl2PiA8ZGl2Pi0tIFN0ZWZmZW48YnI+ PC9kaXY+PC9kaXY+PC9ibG9ja3F1b3RlPjxkaXY+PGJyPjwvZGl2PiAgPC9i bG9ja3F1b3RlPjwvZGl2PjwvZGl2PjwvZGl2PjwvZGl2PjwvZGl2PjwvYm9k eT48L2h0bWw+ --BOUNDARY_589DD31502F9008000390391_0_51760_msllnjpmsgsv06--