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 2CF007FCCD for ; Tue, 12 Jul 2016 23:37:30 +0200 (CEST) IronPort-PHdr: 9a23:QW/XpBONI3AaJrL2ExYl6mtUPXoX/o7sNwtQ0KIMzox0Kfz9rarrMEGX3/hxlliBBdydsKMczbGH+Pi+EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuS9aU1JX8j7760qaQSj0AvCC6b7J2IUf+hiTqne5Sv7FfLL0swADCuHpCdrce72ppIVWOg0S0vZ/or9YwuxhX7vko8soFVaThY4w5S6ZZBXIoKTMP6dXvpCXEGEGv4X0TWGJeoBpBBQePpEX6TJf4tCSg57dV0i2dOsj8QKo7HzKv8/E4ZgXvjXJNFzk//2vQwv5whaRU6FKLgztY5qT5Wq7SfKUlJ+v5UONbDyIVXtRRXipOWNLhR4ELCO0EN+tCoM/7qkdY/kj2PhWlGO66kmwAvXTxx6Bvi+k= 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: A0CGAAAcYoVXhxP0v0Vcrj6KV0iEPIF5hjaBGTgUAQEBAQEBAQERAQEBCA0JCSEvgjIVgisBEwQGaz4CBB0hDCyIKAWhPIcJh3EBAWaGJYkXhTKKUoI1gloFmREIAQEBFoEQnFuQFB6CUIFXPIlXAQEB X-IPAS-Result: A0CGAAAcYoVXhxP0v0Vcrj6KV0iEPIF5hjaBGTgUAQEBAQEBAQERAQEBCA0JCSEvgjIVgisBEwQGaz4CBB0hDCyIKAWhPIcJh3EBAWaGJYkXhTKKUoI1gloFmREIAQEBFoEQnFuQFB6CUIFXPIlXAQEB X-IronPort-AV: E=Sophos;i="5.28,353,1464645600"; d="scan'208,217";a="226534097" Received: from mgnj1.bloomberg.net ([69.191.244.19]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 12 Jul 2016 23:37:29 +0200 X-BB-Reception-Complete: 12 Jul 2016 17:37:27 -0400 X-IP-Listener: Outgoing Mail X-IP-MID: 261049527 Received: from p057.bloomberg.com (HELO p057) ([10.126.157.205]) by mgnj1.bloomberg.net with SMTP; 12 Jul 2016 17:37:27 -0400 X-BLP-INETSVC: version=BLP_APP_S_INETSVC_1.0.1; host=mgnj1:25; conid=10 Date: Tue, 12 Jul 2016 21:37:27 -0000 From: "Hongbo Zhang (BLOOMBERG/ 731 LEX)" Reply-To: "Hongbo Zhang" To: caml-list@inria.fr MIME-Version: 1.0 Message-ID: <5785631702290072003908A6_0_132218@p057> X-BLP-GUID: 5785631702290072003908A60000 Content-Type: multipart/alternative; boundary="BOUNDARY_5785631702290072003908A6_0_147217_p057" Content-ID: Subject: [Caml-list] question: restrictions on `let rec` --BOUNDARY_5785631702290072003908A6_0_147217_p057 Content-Type: text/plain; charset=UTF-8 Content-Disposition: inline Content-Transfer-Encoding: base64 SGkgYWxsLAogICBJIGhhdmUgYSBxdWVzdGlvbiBzaW1wbGlmaWVkIGFzIGJl bG93OgoKIGxldCByZWMgZmliID0gZnVuIHggLT4gZmliICh4IC0gMSk7OyAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgCnZhbCBmaWIgOiBpbnQgLT4g J2EgPSA8ZnVuPiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAKIyBsZXQgcmVjIGZpYiA9IChPYmoubWFnaWMgKGZ1biB4IC0+IGZp YiAoeCAtIDEpKSA6IGludCAtPiAnYSk7OyAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgIApDaGFyYWN0ZXJzIDE1LTQ3 OiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgCiAgbGV0IHJlYyBmaWIgPSAoT2JqLm1hZ2ljIChmdW4geCAtPiBm aWIgKHggLSAxKSkgOiBpbnQgLT4gJ2EpOzsgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAKICAgICAgICAgICAgICAg ICBeXl5eXl5eXl5eXl5eXl5eXl5eXl5eXl5eXl5eXl5eXiAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgIApFcnJvcjogVGhpcyBraW5kIG9mIGV4cHJlc3Npb24gaXMgbm90 IGFsbG93ZWQgYXMgcmlnaHQtaGFuZCBzaWRlIG9mIGBsZXQgcmVjJyAgCgpJ IGtub3cgYGZpYmAgaXMgYSBsZWdhbCBleHByZXNzaW9uLCBpcyB0aGVyZSBh bnkgd2F5IHRvIHdvcmsgYXJvdW5kIGl0PwogVGhhbmtzIC0tIEhvbmdibw== --BOUNDARY_5785631702290072003908A6_0_147217_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 bSIgYmJnLWZvbnQtZmFtaWx5PSJub3JtYWwiPkhpIGFsbCw8ZGl2PiAgIEkg aGF2ZSBhIHF1ZXN0aW9uIHNpbXBsaWZpZWQgYXMgYmVsb3c6PC9kaXY+PGRp dj48YnI+PC9kaXY+PGRpdj4gbGV0IHJlYyBmaWIgPSBmdW4geCAtJmd0OyBm aWIgKHggLSAxKTs7ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICA8L2Rp dj48ZGl2PnZhbCBmaWIgOiBpbnQgLSZndDsgJ2EgPSAmbHQ7ZnVuJmd0OyAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICA8L2Rpdj48 ZGl2PiMgbGV0IHJlYyBmaWIgPSAoT2JqLm1hZ2ljIChmdW4geCAtJmd0OyBm aWIgKHggLSAxKSkgOiBpbnQgLSZndDsgJ2EpOzsgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICA8L2Rpdj48ZGl2PkNo YXJhY3RlcnMgMTUtNDc6ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICA8L2Rpdj48ZGl2PiAgbGV0IHJlYyBmaWIg PSAoT2JqLm1hZ2ljIChmdW4geCAtJmd0OyBmaWIgKHggLSAxKSkgOiBpbnQg LSZndDsgJ2EpOzsgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICA8L2Rpdj48ZGl2PiAgICAgICAgICAgICAgICAgXl5e Xl5eXl5eXl5eXl5eXl5eXl5eXl5eXl5eXl5eXl4gICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICA8L2Rpdj48ZGl2PkVycm9yOiBUaGlzIGtpbmQgb2YgZXhwcmVzc2lvbiBp cyBub3QgYWxsb3dlZCBhcyByaWdodC1oYW5kIHNpZGUgb2YgYGxldCByZWMn ICA8L2Rpdj48ZGl2Pjxicj48L2Rpdj48ZGl2Pkkga25vdyBgZmliYCBpcyBh IGxlZ2FsIGV4cHJlc3Npb24sIGlzIHRoZXJlIGFueSB3YXkgdG8gd29yayBh cm91bmQgaXQ/PC9kaXY+PGRpdj4gVGhhbmtzIC0tIEhvbmdibzwvZGl2Pjwv ZGl2PjwvYm9keT48L2h0bWw+ --BOUNDARY_5785631702290072003908A6_0_147217_p057--