From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 5A4ECBBAF for ; Fri, 23 Oct 2009 17:39:23 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnUBAHBr4UpQDPIbjmdsb2JhbACCJyyNDYoWAYE1AQEBAQkLCAkRBb1qhD8EhTM X-IronPort-AV: E=Sophos;i="4.44,613,1249250400"; d="scan'208,217";a="38845372" Received: from smtp20.orange.fr ([80.12.242.27]) by mail1-smtp-roc.national.inria.fr with ESMTP; 23 Oct 2009 17:39:22 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2011.orange.fr (SMTP Server) with ESMTP id 2B9F8200021C for ; Fri, 23 Oct 2009 17:39:22 +0200 (CEST) Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2011.orange.fr (SMTP Server) with ESMTP id 14B662000DFA for ; Fri, 23 Oct 2009 17:39:22 +0200 (CEST) Received: from Lenovo-R60 (Mix-Lyon-303-3-68.w193-248.abo.wanadoo.fr [193.248.105.68]) by mwinf2011.orange.fr (SMTP Server) with ESMTP id 202F3200021C for ; Fri, 23 Oct 2009 17:35:15 +0200 (CEST) X-ME-UUID: 20091023153516131.202F3200021C@mwinf2011.orange.fr Date: Fri, 23 Oct 2009 17:35:15 +0200 From: "Damien Guichard" To: "caml-list" References: <1256250121.4178.37.camel@MATHIAS-ENS>, <4AE0DDF5.8040601@glondu.net>, <4a708d20910221610w1c46fbbdk677e8545dcf3cd62@mail.gmail.com> Subject: Re: [Caml-list] forbidden construct as right hand side of "let rec" Message-ID: <200910231735142654782@orange.fr> X-mailer: Foxmail 6, 10, 201, 20 [-fr-] Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="=====003_Dragon782085608631_=====" X-Spam: no; 0.00; damien:01 guichard:01 damien:01 lukasz:01 beginner's:01 ocaml:01 bug:01 lukasz:01 beginner's:01 ocaml:01 bug:01 2009:98 23,:98 2009:98 steph:98 This is a multi-part message in MIME format. --=====003_Dragon782085608631_===== Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: base64 DQpsZXQgbGlzdF9jeWNsZTIgYSBiID0NCiAgbGV0IHJlYyBsb29wID0gYTo6Yjo6bG9vcA0KICBp biBsb29wDQoNCg0KLSBkYW1pZW4NCg0KDQoNCg0KRW4gculwb25zZSBhdSBtZXNzYWdlDQpkZSA6 IEx1a2FzeiBTdGFmaW5pYWsNCmR1IDogMjAwOS0xMC0yMyAwMToxMDozNw0KwCA6IGNhbWwtbGlz dA0KQ0MgOiANClN1amV0IDogUmU6IFtDYW1sLWxpc3RdIGZvcmJpZGRlbiBjb25zdHJ1Y3QgYXMg cmlnaHQgaGFuZCBzaWRlIG9mICJsZXQgcmVjIg0KDQpXaGlsZSB3ZSBhcmUgYXQgaXQsIHdoYXQg aXMgdGhlIGJlc3Qgd2F5IHRvIGNvbnZlcnQgYSAic3RyYWlnaHQiIGxpc3QNCmludG8gYSBjeWNs aWMgbGlzdD8NCg0KaS5lLiBjb252ZXJ0DQoNCmxldCBsID0gYTo6Yjo6W10NCg0KaW50bw0KDQps ZXQgcmVjIGwgPSBhOjpiOjpsDQoNCihmb3IgYXJiaXRyYXJ5IGxlbmd0aCBsaXN0cykuIChUaGUg YW5zd2VyIEkgcmVjYWxsIGZyb20gdGhlIGFyY2hpdmVzDQp3YXMgdXNpbmcgT2JqLm1hZ2ljIHRv IG11dGF0ZSB0aGUgW10gaW4gdGhlIG9yaWdpbmFsIGxpc3QpLg0KDQpPbiBGcmksIE9jdCAyMywg MjAwOSBhdCAxMjozNCBBTSwgU3TpcGhhbmUgR2xvbmR1ICA8c3RlcGhAZ2xvbmR1Lm5ldCA+IHdy b3RlOg0KPiBNYXRoaWFzIEtlbmRlIGEg6WNyaXQgOg0KPiA+ICAgICAgIGxldCByZWMgZyA9IGYg Zw0KPg0KPiBXaGF0IGFib3V0Og0KPg0KPiAgbGV0IHJlYyBnIHggPSBmIGcgeA0KDQpfX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXw0KQ2FtbC1saXN0IG1haWxp bmcgbGlzdC4gU3Vic2NyaXB0aW9uIG1hbmFnZW1lbnQ6DQpodHRwOi8veXF1ZW0uaW5yaWEuZnIv Y2dpLWJpbi9tYWlsbWFuL2xpc3RpbmZvL2NhbWwtbGlzdA0KQXJjaGl2ZXM6IGh0dHA6Ly9jYW1s LmlucmlhLmZyDQpCZWdpbm5lcidzIGxpc3Q6IGh0dHA6Ly9ncm91cHMueWFob28uY29tL2dyb3Vw L29jYW1sX2JlZ2lubmVycw0KQnVnIHJlcG9ydHM6IGh0dHA6Ly9jYW1sLmlucmlhLmZyL2Jpbi9j YW1sLWJ1Z3MNCg== --=====003_Dragon782085608631_===== Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: base64 PCFET0NUWVBFIEhUTUwgUFVCTElDICItLy9XM0MvL0RURCBIVE1MIDQuMCBUcmFuc2l0aW9uYWwv L0VOIj4NCjxIVE1MPjxIRUFEPg0KPE1FVEEgaHR0cC1lcXVpdj1Db250ZW50LVR5cGUgY29udGVu dD0idGV4dC9odG1sOyBjaGFyc2V0PWlzby04ODU5LTEiPg0KPE1FVEEgY29udGVudD0iTVNIVE1M IDYuMDAuMjkwMC4yOTYzIiBuYW1lPUdFTkVSQVRPUj4NCjxTVFlMRT5AZm9udC1mYWNlIHsNCglm b250LWZhbWlseTogU2ltU3VuOw0KfQ0KQGZvbnQtZmFjZSB7DQoJZm9udC1mYW1pbHk6IFRhaG9t YTsNCn0NCkBmb250LWZhY2Ugew0KCWZvbnQtZmFtaWx5OiBAU2ltU3VuOw0KfQ0KQHBhZ2UgU2Vj dGlvbjEge3NpemU6IDU5NS4zcHQgODQxLjlwdDsgbWFyZ2luOiA3Mi4wcHQgOTAuMHB0IDcyLjBw dCA5MC4wcHQ7IGxheW91dC1ncmlkOiAxNS42cHQ7IH0NClAuTXNvTm9ybWFsIHsNCglURVhULUpV U1RJRlk6IGludGVyLWlkZW9ncmFwaDsgRk9OVC1TSVpFOiAxMC41cHQ7IE1BUkdJTjogMGNtIDBj bSAwcHQ7IEZPTlQtRkFNSUxZOiAiVGltZXMgTmV3IFJvbWFuIjsgVEVYVC1BTElHTjoganVzdGlm eQ0KfQ0KTEkuTXNvTm9ybWFsIHsNCglURVhULUpVU1RJRlk6IGludGVyLWlkZW9ncmFwaDsgRk9O VC1TSVpFOiAxMC41cHQ7IE1BUkdJTjogMGNtIDBjbSAwcHQ7IEZPTlQtRkFNSUxZOiAiVGltZXMg TmV3IFJvbWFuIjsgVEVYVC1BTElHTjoganVzdGlmeQ0KfQ0KRElWLk1zb05vcm1hbCB7DQoJVEVY VC1KVVNUSUZZOiBpbnRlci1pZGVvZ3JhcGg7IEZPTlQtU0laRTogMTAuNXB0OyBNQVJHSU46IDBj bSAwY20gMHB0OyBGT05ULUZBTUlMWTogIlRpbWVzIE5ldyBSb21hbiI7IFRFWFQtQUxJR046IGp1 c3RpZnkNCn0NCkE6bGluayB7DQoJQ09MT1I6IGJsdWU7IFRFWFQtREVDT1JBVElPTjogdW5kZXJs aW5lDQp9DQpTUEFOLk1zb0h5cGVybGluayB7DQoJQ09MT1I6IGJsdWU7IFRFWFQtREVDT1JBVElP TjogdW5kZXJsaW5lDQp9DQpBOnZpc2l0ZWQgew0KCUNPTE9SOiBwdXJwbGU7IFRFWFQtREVDT1JB VElPTjogdW5kZXJsaW5lDQp9DQpTUEFOLk1zb0h5cGVybGlua0ZvbGxvd2VkIHsNCglDT0xPUjog cHVycGxlOyBURVhULURFQ09SQVRJT046IHVuZGVybGluZQ0KfQ0KU1BBTi5FbWFpbFN0eWxlMTcg ew0KCUZPTlQtV0VJR0hUOiBub3JtYWw7IENPTE9SOiB3aW5kb3d0ZXh0OyBGT05ULVNUWUxFOiBu b3JtYWw7IEZPTlQtRkFNSUxZOiBWZXJkYW5hOyBURVhULURFQ09SQVRJT046IG5vbmU7IG1zby1z dHlsZS10eXBlOiBwZXJzb25hbC1jb21wb3NlDQp9DQpESVYuU2VjdGlvbjEgew0KCXBhZ2U6IFNl Y3Rpb24xDQp9DQpCTE9DS1FVT1RFIHsNCglNQVJHSU4tVE9QOiAwcHg7IE1BUkdJTi1CT1RUT006 IDBweDsgTUFSR0lOLUxFRlQ6IDJlbQ0KfQ0KT0wgew0KCU1BUkdJTi1UT1A6IDBweDsgTUFSR0lO LUJPVFRPTTogMHB4DQp9DQpVTCB7DQoJTUFSR0lOLVRPUDogMHB4OyBNQVJHSU4tQk9UVE9NOiAw cHgNCn0NCjwvU1RZTEU+DQo8L0hFQUQ+DQo8Qk9EWT4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5h IGNvbG9yPSMwMDAwZmYgc2l6ZT0yPjwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJk YW5hIGNvbG9yPSMwMDAwZmYgc2l6ZT0yPjwvRk9OVD48L0RJVj4NCjxESVYgYWxpZ249bGVmdD48 Rk9OVCBjb2xvcj0jYzBjMGMwPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEgc2l6ZT0yPjwvRk9O VD48L0ZPTlQ+PC9ESVY+PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYSBzaXplPTI+PEZP TlQgY29sb3I9IzAwMDAwMD48L0ZPTlQ+PC9GT05UPiZuYnNwOzwvRElWPg0KPERJVj48Rk9OVCBm YWNlPSJDb3VyaWVyIE5ldyIgc2l6ZT0yPmxldCBsaXN0X2N5Y2xlMiBhIGIgPTwvRk9OVD48L0RJ Vj4NCjxESVY+PEZPTlQgZmFjZT0iQ291cmllciBOZXciIHNpemU9Mj4mbmJzcDsgbGV0IHJlYyBs b29wID0gDQphOjpiOjpsb29wPC9GT05UPjwvRElWPg0KPERJVj48Rk9OVCBmYWNlPSJDb3VyaWVy IE5ldyIgc2l6ZT0yPiZuYnNwOyBpbiBsb29wPC9GT05UPjwvRElWPg0KPERJVj48Rk9OVCBmYWNl PVZlcmRhbmEgc2l6ZT0yPjwvRk9OVD4mbmJzcDs8L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJk YW5hIHNpemU9Mj48L0ZPTlQ+Jm5ic3A7PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYSBz aXplPTI+PEZPTlQgY29sb3I9IzAwMDAwMD4tIA0KPEVNPmRhbWllbjwvRU0+PC9GT05UPjwvRElW Pg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmEgc2l6ZT0yPjxGT05UIGNvbG9yPSNjMGMwYzA+PC9G T05UPiZuYnNwOzwvRElWPjwvRk9OVD4NCjxESVY+DQo8SFI+DQo8L0RJVj48L0ZPTlQ+DQo8RElW PjxGT05UIGZhY2U9VmVyZGFuYT48Rk9OVCBzaXplPTI+PEk+RW4gculwb25zZSBhdSBtZXNzYWdl PC9JPjxCUj48U1RST05HPmRlIA0KOjwvU1RST05HPiBMdWthc3ogU3RhZmluaWFrPC9GT05UPjwv Rk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hPjxGT05UIHNpemU9Mj48U1RST05H PmR1IDo8L1NUUk9ORz4gDQoyMDA5LTEwLTIzJm5ic3A7MDE6MTA6Mzc8L0ZPTlQ+PC9GT05UPjwv RElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmE+PEZPTlQgc2l6ZT0yPjxTVFJPTkc+wCA6PC9T VFJPTkc+IA0KY2FtbC1saXN0PC9GT05UPjwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1W ZXJkYW5hPjxGT05UIHNpemU9Mj48U1RST05HPkNDIDo8L1NUUk9ORz4gPC9GT05UPjwvRk9OVD48 L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5hPjxGT05UIHNpemU9Mj48U1RST05HPlN1amV0 IDo8L1NUUk9ORz4gUmU6IFtDYW1sLWxpc3RdIA0KZm9yYmlkZGVuIGNvbnN0cnVjdCBhcyByaWdo dCBoYW5kIHNpZGUgb2YgImxldCByZWMiPC9GT05UPjwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQg ZmFjZT1WZXJkYW5hIHNpemU9Mj48L0ZPTlQ+Jm5ic3A7PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9 VmVyZGFuYSBzaXplPTI+DQo8RElWPldoaWxlJm5ic3A7d2UmbmJzcDthcmUmbmJzcDthdCZuYnNw O2l0LCZuYnNwO3doYXQmbmJzcDtpcyZuYnNwO3RoZSZuYnNwO2Jlc3QmbmJzcDt3YXkmbmJzcDt0 byZuYnNwO2NvbnZlcnQmbmJzcDthJm5ic3A7InN0cmFpZ2h0IiZuYnNwO2xpc3Q8L0RJVj4NCjxE SVY+aW50byZuYnNwO2EmbmJzcDtjeWNsaWMmbmJzcDtsaXN0PzwvRElWPg0KPERJVj4mbmJzcDs8 L0RJVj4NCjxESVY+aS5lLiZuYnNwO2NvbnZlcnQ8L0RJVj4NCjxESVY+Jm5ic3A7PC9ESVY+DQo8 RElWPmxldCZuYnNwO2wmbmJzcDs9Jm5ic3A7YTo6Yjo6W108L0RJVj4NCjxESVY+Jm5ic3A7PC9E SVY+DQo8RElWPmludG88L0RJVj4NCjxESVY+Jm5ic3A7PC9ESVY+DQo8RElWPmxldCZuYnNwO3Jl YyZuYnNwO2wmbmJzcDs9Jm5ic3A7YTo6Yjo6bDwvRElWPg0KPERJVj4mbmJzcDs8L0RJVj4NCjxE SVY+KGZvciZuYnNwO2FyYml0cmFyeSZuYnNwO2xlbmd0aCZuYnNwO2xpc3RzKS4mbmJzcDsoVGhl Jm5ic3A7YW5zd2VyJm5ic3A7SSZuYnNwO3JlY2FsbCZuYnNwO2Zyb20mbmJzcDt0aGUmbmJzcDth cmNoaXZlczwvRElWPg0KPERJVj53YXMmbmJzcDt1c2luZyZuYnNwO09iai5tYWdpYyZuYnNwO3Rv Jm5ic3A7bXV0YXRlJm5ic3A7dGhlJm5ic3A7W10mbmJzcDtpbiZuYnNwO3RoZSZuYnNwO29yaWdp bmFsJm5ic3A7bGlzdCkuPC9ESVY+DQo8RElWPiZuYnNwOzwvRElWPg0KPERJVj5PbiZuYnNwO0Zy aSwmbmJzcDtPY3QmbmJzcDsyMywmbmJzcDsyMDA5Jm5ic3A7YXQmbmJzcDsxMjozNCZuYnNwO0FN LCZuYnNwO1N06XBoYW5lJm5ic3A7R2xvbmR1Jm5ic3A7IA0KJmx0O3N0ZXBoQGdsb25kdS5uZXQg Jmd0OyZuYnNwO3dyb3RlOjwvRElWPg0KPERJVj4mZ3Q7Jm5ic3A7TWF0aGlhcyZuYnNwO0tlbmRl Jm5ic3A7YSZuYnNwO+ljcml0Jm5ic3A7OjwvRElWPg0KPERJVj4mZ3Q7IA0KJmd0OyZuYnNwOyZu YnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwO2xldCZuYnNwO3JlYyZuYnNwO2cmbmJz cDs9Jm5ic3A7ZiZuYnNwO2c8L0RJVj4NCjxESVY+Jmd0OzwvRElWPg0KPERJVj4mZ3Q7Jm5ic3A7 V2hhdCZuYnNwO2Fib3V0OjwvRElWPg0KPERJVj4mZ3Q7PC9ESVY+DQo8RElWPiZndDsmbmJzcDsm bmJzcDtsZXQmbmJzcDtyZWMmbmJzcDtnJm5ic3A7eCZuYnNwOz0mbmJzcDtmJm5ic3A7ZyZuYnNw O3g8L0RJVj4NCjxESVY+Jm5ic3A7PC9ESVY+DQo8RElWPl9fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fPC9ESVY+DQo8RElWPkNhbWwtbGlzdCZuYnNwO21haWxp bmcmbmJzcDtsaXN0LiZuYnNwO1N1YnNjcmlwdGlvbiZuYnNwO21hbmFnZW1lbnQ6PC9ESVY+DQo8 RElWPjxBIA0KaHJlZj0iaHR0cDovL3lxdWVtLmlucmlhLmZyL2NnaS1iaW4vbWFpbG1hbi9saXN0 aW5mby9jYW1sLWxpc3QiPmh0dHA6Ly95cXVlbS5pbnJpYS5mci9jZ2ktYmluL21haWxtYW4vbGlz dGluZm8vY2FtbC1saXN0PC9BPjwvRElWPg0KPERJVj5BcmNoaXZlczombmJzcDs8QSANCmhyZWY9 Imh0dHA6Ly9jYW1sLmlucmlhLmZyIj5odHRwOi8vY2FtbC5pbnJpYS5mcjwvQT48L0RJVj4NCjxE SVY+QmVnaW5uZXIncyZuYnNwO2xpc3Q6Jm5ic3A7PEEgDQpocmVmPSJodHRwOi8vZ3JvdXBzLnlh aG9vLmNvbS9ncm91cC9vY2FtbF9iZWdpbm5lcnMiPmh0dHA6Ly9ncm91cHMueWFob28uY29tL2dy b3VwL29jYW1sX2JlZ2lubmVyczwvQT48L0RJVj4NCjxESVY+QnVnJm5ic3A7cmVwb3J0czombmJz cDs8QSANCmhyZWY9Imh0dHA6Ly9jYW1sLmlucmlhLmZyL2Jpbi9jYW1sLWJ1Z3MiPmh0dHA6Ly9j YW1sLmlucmlhLmZyL2Jpbi9jYW1sLWJ1Z3M8L0E+PC9ESVY+PC9GT05UPjwvRElWPjwvQk9EWT48 L0hUTUw+DQo= --=====003_Dragon782085608631_=====--