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 99DEF7EF5E for ; Wed, 13 Jul 2016 15:56:42 +0200 (CEST) IronPort-PHdr: 9a23:HmS5AR+XIQXi7v9uRHKM819IXTAuvvDOBiVQ1KB80e8cTK2v8tzYMVDF4r011RmSDN2dt6oP1bWempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1EkfqKpQsWM0Iye7KObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicuVSwn50dxrIx06vrpT4wJk2+C1Vv7cl9tVceaT8ZaUxC7JCSHwjMmQ84tb3nRbGRAqLoHAbVzYsnwJMEjTCuVvaWZH+uCyyhOp03ibQdZn2X7A9Xzv4vvpDQhvvjyINOiQ2tmfalpojorhcpUfrhxt5zITTKLOVPfxxNuP3WfQ9YEBsZOkWH3MaW8uYQrtORaJVPfRYpo/y/QpThRG6Ag6pDu71xXlOi2Ogjv5y6PgoDQyThF9oJNkJqnmB9Ng= 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@mgnj2.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.20 is permitted sender) identity=pra; client-ip=69.191.244.20; 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.20 as permitted sender) identity=mailfrom; client-ip=69.191.244.20; 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@mgnj2.bloomberg.net) identity=helo; client-ip=69.191.244.20; receiver=mail2-smtp-roc.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: A0BDAACIR4ZXhxT0v0VbhRCpDINFhxNIhDyBeoYYHoEROBQBAQEBAQEBAREBAQEIDQkJIS+CMhWCFQEBFAETBAZnBBECASoCBB0CHwwDDxIIiA4DFwWpCIdxAQFmhiWEMQ2EHgwBJIUyhUWCQ4IVgmqCWgWYaCoIAQEBF4EQixmRRYgfh3geglCBVzwyiTcBAQE X-IPAS-Result: A0BDAACIR4ZXhxT0v0VbhRCpDINFhxNIhDyBeoYYHoEROBQBAQEBAQEBAREBAQEIDQkJIS+CMhWCFQEBFAETBAZnBBECASoCBB0CHwwDDxIIiA4DFwWpCIdxAQFmhiWEMQ2EHgwBJIUyhUWCQ4IVgmqCWgWYaCoIAQEBF4EQixmRRYgfh3geglCBVzwyiTcBAQE X-IronPort-AV: E=Sophos;i="5.28,357,1464645600"; d="scan'208,217";a="226629600" Received: from mgnj2.bloomberg.net ([69.191.244.20]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 13 Jul 2016 15:56:41 +0200 X-BB-Reception-Complete: 13 Jul 2016 09:56:40 -0400 X-IP-Listener: Outgoing Mail X-IP-MID: 258091443 Received: from p057.bloomberg.com (HELO p057) ([10.126.157.205]) by mgnj2.bloomberg.net with SMTP; 13 Jul 2016 09:56:40 -0400 X-BLP-INETSVC: version=BLP_APP_S_INETSVC_1.0.1; host=mgnj2:25; conid=40 Date: Wed, 13 Jul 2016 13:56:40 -0000 From: "Hongbo Zhang (BLOOMBERG/ 731 LEX)" Reply-To: "Hongbo Zhang" To: caml-list@inria.fr, milanst@gmail.com MIME-Version: 1.0 Message-ID: <5786489801F50576003903F8_0_13687@p057> X-BLP-GUID: 5786489801F50576003903F80000 Content-Type: multipart/alternative; boundary="BOUNDARY_5786489801F50576003903F8_0_16907_p057" Content-ID: Subject: Re: [Caml-list] question: restrictions on `let rec` --BOUNDARY_5786489801F50576003903F8_0_16907_p057 Content-Type: text/plain; charset=UTF-8 Content-Disposition: inline Content-Transfer-Encoding: base64 SGkgLCBJIGZvdW5kIGFub3RoZXIgd29yayBhcm91bmQsIHRoYW5rcyBmb3Ig eW91ciBzdWdnZXN0aW9uIQoKRnJvbTogbWlsYW5zdEBnbWFpbC5jb20gQXQ6 IDA3LzEyLzE2IDE4OjE4OjA4ClRvOiBIb25nYm8gWmhhbmcgKEJMT09NQkVS Ry8gNzMxIExFWCksIGNhbWwtbGlzdEBpbnJpYS5mcgpTdWJqZWN0OiBSZTog W0NhbWwtbGlzdF0gcXVlc3Rpb246IHJlc3RyaWN0aW9ucyBvbiBgbGV0IHJl Y2AKCgpXaGF0IGFyZSB5b3UgdHJ5aW5nIHRvIGFjY29tcGxpc2ggZXhhY3Rs eT8KV2hhdCB0eXBlIGRvIHlvdSB3YW50IGZpYiB0byBoYXZlPyAKIEkgdXN1 YWxseSB1c2UgbGF6eSBhbmQgZm9yY2UgdG8gZ2V0IGFyb3VuZCBsZXQgcmVj IGxpbWl0YXRpb25zIGFuZCB0aGF0IHVzdWFsbHkgYWxsb3dzIGZvciBvbmx5 IGxvY2FsIHVnbHluZXNzLCB0aGUgbGF6eSB0eXBlcyB1c3VhbGx5IGRvbid0 IGVzY2FwZS4KPgo+IE9uIEp1bCAxMiwgMjAxNiA1OjM3IFBNLCAiSG9uZ2Jv IFpoYW5nIChCTE9PTUJFUkcvIDczMSBMRVgpIiA8aHpoYW5nMjk1QGJsb29t YmVyZy5uZXQ+IHdyb3RlOgo+Pgo+PiBIaSBhbGwsCj4+IEkgaGF2ZSBhIHF1 ZXN0aW9uIHNpbXBsaWZpZWQgYXMgYmVsb3c6Cj4+Cj4+IGxldCByZWMgZmli ID0gZnVuIHggLT4gZmliICh4IC0gMSk7Owo+PiB2YWwgZmliIDogaW50IC0+ ICdhID0gPGZ1bj4KPj4gIyBsZXQgcmVjIGZpYiA9IChPYmoubWFnaWMgKGZ1 biB4IC0+IGZpYiAoeCAtIDEpKSA6IGludCAtPiAnYSk7Owo+PiBDaGFyYWN0 ZXJzIDE1LTQ3Ogo+PiBsZXQgcmVjIGZpYiA9IChPYmoubWFnaWMgKGZ1biB4 IC0+IGZpYiAoeCAtIDEpKSA6IGludCAtPiAnYSk7Owo+PiBeXl5eXl5eXl5e Xl5eXl5eXl5eXl5eXl5eXl5eXl5eXgo+PiBFcnJvcjogVGhpcyBraW5kIG9m IGV4cHJlc3Npb24gaXMgbm90IGFsbG93ZWQgYXMgcmlnaHQtaGFuZCBzaWRl IG9mIGBsZXQgcmVjJwo+Pgo+PiBJIGtub3cgYGZpYmAgaXMgYSBsZWdhbCBl eHByZXNzaW9uLCBpcyB0aGVyZSBhbnkgd2F5IHRvIHdvcmsgYXJvdW5kIGl0 Pwo+PiBUaGFua3MgLS0gSG9uZ2JvCgo= --BOUNDARY_5786489801F50576003903F8_0_16907_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 bSIgYmJnLWZvbnQtZmFtaWx5PSJub3JtYWwiPkhpICwgSSBmb3VuZCBhbm90 aGVyIHdvcmsgYXJvdW5kLCB0aGFua3MgZm9yIHlvdXIgc3VnZ2VzdGlvbiE8 YnI+PGRpdiBjbGFzcz0icnRlLXN0eWxlLW1haW50YWluZXIiIHN0eWxlPSJm b250LXNpemU6IHNtYWxsOyBmb250LWZhbWlseTogJ0NvdXJpZXIgTmV3Jywg Q291cmllcjsgY29sb3I6IHJnYigwLCAwLCAwKTsiZGF0YS1jb2xvcj0iZ2xv YmFsLWRlZmF1bHQiIGJiZy1jb2xvcj0iZGVmYXVsdCIgZGF0YS1iYi1mb250 LXNpemU9Im1lZGl1bSIgYmJnLWZvbnQtc2l6ZT0ibWVkaXVtIiBiYmctZm9u dC1mYW1pbHk9ImZpeGVkLXdpZHRoIj48YnI+PGRpdiBjbGFzcz0iYmJnLXJ0 ZS1mb2xkLWNvbnRlbnQiIGRhdGEtaGVhZGVyPSJGcm9tOiBtaWxhbnN0QGdt YWlsLmNvbSBBdDogMDcvMTIvMTYgMTg6MTg6MDgiIGRhdGEtZGlnZXN0PSJG cm9tOiBtaWxhbnN0QGdtYWlsLmNvbSBBdDogMDcvMTIvMTYgMTg6MTg6MDgi IHN0eWxlPSIiPjxkaXYgY2xhc3M9ImJiZy1ydGUtZm9sZC1zdW1tYXJ5Ij5G cm9tOiBtaWxhbnN0QGdtYWlsLmNvbSBBdDogMDcvMTIvMTYgMTg6MTg6MDg8 L2Rpdj48ZGl2PlRvOiA8YSBzcGVsbGNoZWNrPSJmYWxzZSIgYmJnLWRlc3Rp bmF0aW9uPSJtYWlsdG86aHpoYW5nMjk1QGJsb29tYmVyZy5uZXQiIGhyZWY9 Im1haWx0bzpoemhhbmcyOTVAYmxvb21iZXJnLm5ldCI+SG9uZ2JvIFpoYW5n IChCTE9PTUJFUkcvIDczMSBMRVgpPC9hPiwgPGEgc3BlbGxjaGVjaz0iZmFs c2UiYmJnLWRlc3RpbmF0aW9uPSJtYWlsdG86cnRlOmJpbmQiIGhyZWY9Im1h aWx0bzpjYW1sLWxpc3RAaW5yaWEuZnIiPmNhbWwtbGlzdEBpbnJpYS5mcjwv YT48YnI+U3ViamVjdDogUmU6IFtDYW1sLWxpc3RdIHF1ZXN0aW9uOiByZXN0 cmljdGlvbnMgb24gYGxldCByZWNgPGJyPjwvZGl2PjwvZGl2PjxkaXYgY2xh c3M9InJ0ZS1pbnRlcm5ldC1ibG9jay13cmFwcGVyIiBzdHlsZT0iY29sb3I6 IGJsYWNrOyBmb250LWZhbWlseTogQXJpYWwsICdCQi5Qcm9wb3J0aW9uYWwn OyBmb250LXNpemU6IHNtYWxsOyB3aGl0ZS1zcGFjZTogbm9ybWFsOyBiYWNr Z3JvdW5kOiB3aGl0ZTsiPjxkaXYgY2xhc3M9InJ0ZS1pbnRlcm5ldC1ibG9j ayI+PGJsb2NrcXVvdGU+PHAgZGlyPSJsdHIiPjxicj5XaGF0IGFyZSB5b3Ug dHJ5aW5nIHRvIGFjY29tcGxpc2ggZXhhY3RseT88YnI+V2hhdCB0eXBlIGRv IHlvdSB3YW50IGZpYiB0byBoYXZlPzwvcD4gPHAgZGlyPSJsdHIiPiBJIHVz dWFsbHkgdXNlIGxhenkgYW5kIGZvcmNlIHRvIGdldCBhcm91bmQgbGV0IHJl YyBsaW1pdGF0aW9ucyBhbmQgdGhhdCB1c3VhbGx5IGFsbG93cyBmb3Igb25s eSBsb2NhbCB1Z2x5bmVzcywgdGhlIGxhenkgdHlwZXMgdXN1YWxseSBkb24n dCBlc2NhcGUuPGJyPiZndDs8YnI+Jmd0OyBPbiBKdWwgMTIsIDIwMTYgNToz NyBQTSwgIkhvbmdibyBaaGFuZyAoQkxPT01CRVJHLyA3MzEgTEVYKSIgJmx0 OzxhIHNwZWxsY2hlY2s9ImZhbHNlImJiZy1kZXN0aW5hdGlvbj0ibWFpbHRv OnJ0ZTpiaW5kIiBjbGFzcz0iIiBocmVmPSJtYWlsdG86aHpoYW5nMjk1QGJs b29tYmVyZy5uZXQiIGRhdGEtZGVzdGluYXRpb249Im1haWx0bzpydGU6Ymlu ZCI+aHpoYW5nMjk1QGJsb29tYmVyZy5uZXQ8L2E+Jmd0OyB3cm90ZTo8YnI+ Jmd0OyZndDs8YnI+Jmd0OyZndDsgSGkgYWxsLDxicj4mZ3Q7Jmd0OyBJIGhh dmUgYSBxdWVzdGlvbiBzaW1wbGlmaWVkIGFzIGJlbG93Ojxicj4mZ3Q7Jmd0 Ozxicj4mZ3Q7Jmd0OyBsZXQgcmVjIGZpYiA9IGZ1biB4IC0mZ3Q7IGZpYiAo eCAtIDEpOzs8YnI+Jmd0OyZndDsgdmFsIGZpYiA6IGludCAtJmd0OyAnYSA9 ICZsdDtmdW4mZ3Q7PGJyPiZndDsmZ3Q7ICMgbGV0IHJlYyBmaWIgPSAoT2Jq Lm1hZ2ljIChmdW4geCAtJmd0OyBmaWIgKHggLSAxKSkgOiBpbnQgLSZndDsg J2EpOzs8YnI+Jmd0OyZndDsgQ2hhcmFjdGVycyAxNS00Nzo8YnI+Jmd0OyZn dDsgbGV0IHJlYyBmaWIgPSAoT2JqLm1hZ2ljIChmdW4geCAtJmd0OyBmaWIg KHggLSAxKSkgOiBpbnQgLSZndDsgJ2EpOzs8YnI+Jmd0OyZndDsgXl5eXl5e Xl5eXl5eXl5eXl5eXl5eXl5eXl5eXl5eXl48YnI+Jmd0OyZndDsgRXJyb3I6 IFRoaXMga2luZCBvZiBleHByZXNzaW9uIGlzIG5vdCBhbGxvd2VkIGFzIHJp Z2h0LWhhbmQgc2lkZSBvZiBgbGV0IHJlYyc8YnI+Jmd0OyZndDs8YnI+Jmd0 OyZndDsgSSBrbm93IGBmaWJgIGlzIGEgbGVnYWwgZXhwcmVzc2lvbiwgaXMg dGhlcmUgYW55IHdheSB0byB3b3JrIGFyb3VuZCBpdD88YnI+Jmd0OyZndDsg VGhhbmtzIC0tIEhvbmdibzwvcD48L2Jsb2NrcXVvdGU+PGJyPjwvZGl2Pjwv ZGl2PjwvZGl2PjwvZGl2PjwvYm9keT48L2h0bWw+ --BOUNDARY_5786489801F50576003903F8_0_16907_p057--