From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.5 required=5.0 tests=AWL,DNS_FROM_RFC_POST, HTML_MESSAGE,MIME_BASE64_TEXT autolearn=disabled version=3.1.3 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 36069BBAF for ; Sat, 10 Oct 2009 17:08:07 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApMCAHZA0ErB/BYfjmdsb2JhbACCKCyNAYoGAYEwAQEBAQkLCAkRBbxshC0EhQo X-IronPort-AV: E=Sophos;i="4.44,537,1249250400"; d="scan'208,217";a="37979221" Received: from smtp20.orange.fr ([193.252.22.31]) by mail1-smtp-roc.national.inria.fr with ESMTP; 10 Oct 2009 17:08:06 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2023.orange.fr (SMTP Server) with ESMTP id E8FD620000E4 for ; Sat, 10 Oct 2009 17:08:05 +0200 (CEST) Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2023.orange.fr (SMTP Server) with ESMTP id DCE5920000E5 for ; Sat, 10 Oct 2009 17:08:05 +0200 (CEST) Received: from Lenovo-R60 (Mix-Lyon-121-2-51.w193-250.abo.wanadoo.fr [193.250.68.51]) by mwinf2023.orange.fr (SMTP Server) with ESMTP id 2342820000E4 for ; Sat, 10 Oct 2009 17:08:03 +0200 (CEST) X-ME-UUID: 20091010150804144.2342820000E4@mwinf2023.orange.fr Date: Sat, 10 Oct 2009 17:08:02 +0200 From: "Damien Guichard" To: "caml-list@yquem.inria.fr" References: <891bd3390910081840p37e8c786g60b2c15d2c06ae60@mail.gmail.com>, <7d8707de0910090033q4a14a108w62f13d7735994923@mail.gmail.com>, <604682010910091114h665b470aw7d5427fab6c72467@mail.gmail.com> Subject: Re: [Caml-list] Improving OCaml's choice of type to display Message-ID: <200910101708016568403@orange.fr> X-mailer: Foxmail 6, 10, 201, 20 [-fr-] Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="=====003_Dragon504124410330_=====" X-Spam: no; 0.00; damien:01 guichard:01 ocaml's:01 ocaml:01 damien:01 ocaml's:01 andrej:01 andrej:01 yaron:01 minsky:01 yminsky:01 beginner's:01 ocaml:01 bug:01 yaron:01 This is a multi-part message in MIME format. --=====003_Dragon504124410330_===== Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: base64 DQpBcyBPY2FtbCBtb2R1bGVzIGFyZSBlc3NlbnRpYWxseSBNTCBtb2R1bGVzLCB0aGUgTUx0b24g ZXhwZXJpZW5jZSBpcyBjZXJ0YWlubHkgb25lIHRvIGJlIGNhcmVmdWxseSBjb25zaWRlcmVkLg0K UGVvcGxlLCBwbGVhc2UgZG9uJ3QgaGVzaXRhdGUgdG8gZWxhYm9yYXRlIGFib3V0IGhvdyAodW4t KWhhcHB5IHlvdSBhcmUgd2l0aCBNTC9NTHRvbiBhbHRlcm5hdGUgdHlwZSBuYW1pbmcgc3RyYXRl Z2llcy4NCg0KLSBkYW1pZW4NCg0KDQoNCg0KDQpFbiBy6XBvbnNlIGF1IG1lc3NhZ2UNCmRlIDog U3RlcGhlbiBXZWVrcw0KZHUgOiAyMDA5LTEwLTA5IDIwOjE0OjE4DQrAIDogY2FtbC1saXN0QHlx dWVtLmlucmlhLmZyDQpDQyA6IA0KU3VqZXQgOiBSZTogW0NhbWwtbGlzdF0gSW1wcm92aW5nIE9D YW1sJ3MgY2hvaWNlIG9mIHR5cGUgdG8gZGlzcGxheQ0KDQoNCk9uIEZyaSwgT2N0IDksIDIwMDkg YXQgMzozMyBBTSwgQW5kcmVqIEJhdWVyICA8YW5kcmVqLmJhdWVyQGFuZHJlai5jb20gPiB3cm90 ZToNCj4gT24gRnJpLCBPY3QgOSwgMjAwOSBhdCAzOjQwIEFNLCBZYXJvbiBNaW5za3kgIDx5bWlu c2t5QGdtYWlsLmNvbSA+IHdyb3RlOg0KPiA+IENob29zaW5nIHNob3J0ZXIgbmFtZXMuDQo+DQo+ IEJ5IHdoaWNoIHlvdSBwcm9iYWJseSBtZWFuICJ0aGUgZmV3ZXN0IG51bWJlciBvZiBkb3RzICht b2R1bGUNCj4gcHJvamVjdGlvbnMpIi4NCg0KVGhhdCBpcyB0aGUgcnVsZSB3ZSB1c2VkIGluIE1M dG9uLCBicmVha2luZyB0aWVzIGJ5DQptb3N0LXJlY2VudGx5LWRlZmluZWQuICBJdCB3b3JrZWQg cXVpdGUgd2VsbCBpbiBwcmFjdGljZS4NCg0KU2VlDQogIGh0dHA6Ly9tbHRvbi5vcmcvVHlwZUNo ZWNraW5nDQoNCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f DQpDYW1sLWxpc3QgbWFpbGluZyBsaXN0LiBTdWJzY3JpcHRpb24gbWFuYWdlbWVudDoNCmh0dHA6 Ly95cXVlbS5pbnJpYS5mci9jZ2ktYmluL21haWxtYW4vbGlzdGluZm8vY2FtbC1saXN0DQpBcmNo aXZlczogaHR0cDovL2NhbWwuaW5yaWEuZnINCkJlZ2lubmVyJ3MgbGlzdDogaHR0cDovL2dyb3Vw cy55YWhvby5jb20vZ3JvdXAvb2NhbWxfYmVnaW5uZXJzDQpCdWcgcmVwb3J0czogaHR0cDovL2Nh bWwuaW5yaWEuZnIvYmluL2NhbWwtYnVncw0K --=====003_Dragon504124410330_===== 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+Jm5ic3A7PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9VmVy ZGFuYSBjb2xvcj0jMDAwMDAwIHNpemU9Mj5BcyBPY2FtbCBtb2R1bGVzIGFyZSBlc3NlbnRpYWxs eSBNTCANCm1vZHVsZXMsIHRoZSBNTHRvbiBleHBlcmllbmNlIGlzIGNlcnRhaW5seSBvbmUgdG8g YmUgY2FyZWZ1bGx5IA0KY29uc2lkZXJlZC48L0ZPTlQ+PC9ESVY+DQo8RElWPjxGT05UIGZhY2U9 VmVyZGFuYSBzaXplPTI+UGVvcGxlLCBwbGVhc2UgZG9uJ3QgaGVzaXRhdGUgdG8gZWxhYm9yYXRl IGFib3V0IA0KaG93ICh1bi0paGFwcHkgeW91IGFyZSB3aXRoIE1ML01MdG9uIGFsdGVybmF0ZSB0 eXBlIG5hbWluZyANCnN0cmF0ZWdpZXMuPC9GT05UPjwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZl cmRhbmEgc2l6ZT0yPjwvRk9OVD4mbmJzcDs8L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1WZXJkYW5h IHNpemU9Mj4tIDxFTT5kYW1pZW48L0VNPjwvRk9OVD48L0RJVj4NCjxESVY+PEZPTlQgZmFjZT1W ZXJkYW5hIHNpemU9Mj48Rk9OVCBjb2xvcj0jYzBjMGMwPjwvRk9OVD48L0ZPTlQ+Jm5ic3A7PC9E SVY+DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYSBzaXplPTI+PEZPTlQgY29sb3I9I2MwYzBjMD48 L0ZPTlQ+Jm5ic3A7PC9ESVY+PC9GT05UPg0KPERJVj4NCjxIUj4NCjwvRElWPjwvRk9OVD4NCjxE SVY+PEZPTlQgZmFjZT1WZXJkYW5hPjxGT05UIHNpemU9Mj48ST5FbiBy6XBvbnNlIGF1IG1lc3Nh Z2U8L0k+PEJSPjxTVFJPTkc+ZGUgDQo6PC9TVFJPTkc+IFN0ZXBoZW4gV2Vla3M8L0ZPTlQ+PC9G T05UPjwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmE+PEZPTlQgc2l6ZT0yPjxTVFJPTkc+ ZHUgOjwvU1RST05HPiANCjIwMDktMTAtMDkmbmJzcDsyMDoxNDoxODwvRk9OVD48L0ZPTlQ+PC9E SVY+DQo8RElWPjxGT05UIGZhY2U9VmVyZGFuYT48Rk9OVCBzaXplPTI+PFNUUk9ORz7AIDo8L1NU Uk9ORz4gDQpjYW1sLWxpc3RAeXF1ZW0uaW5yaWEuZnI8L0ZPTlQ+PC9GT05UPjwvRElWPg0KPERJ Vj48Rk9OVCBmYWNlPVZlcmRhbmE+PEZPTlQgc2l6ZT0yPjxTVFJPTkc+Q0MgOjwvU1RST05HPiA8 L0ZPTlQ+PC9GT05UPjwvRElWPg0KPERJVj48Rk9OVCBmYWNlPVZlcmRhbmE+PEZPTlQgc2l6ZT0y PjxTVFJPTkc+U3VqZXQgOjwvU1RST05HPiBSZTogW0NhbWwtbGlzdF0gDQpJbXByb3ZpbmcgT0Nh bWwncyBjaG9pY2Ugb2YgdHlwZSB0byBkaXNwbGF5PC9GT05UPjwvRk9OVD48L0RJVj4NCjxESVY+ PEZPTlQgZmFjZT1WZXJkYW5hIHNpemU9Mj48L0ZPTlQ+Jm5ic3A7PC9ESVY+DQo8RElWPjxGT05U IGZhY2U9VmVyZGFuYSBzaXplPTI+DQo8RElWPiZuYnNwOzwvRElWPg0KPERJVj5PbiZuYnNwO0Zy aSwmbmJzcDtPY3QmbmJzcDs5LCZuYnNwOzIwMDkmbmJzcDthdCZuYnNwOzM6MzMmbmJzcDtBTSwm bmJzcDtBbmRyZWombmJzcDtCYXVlciZuYnNwOyANCiZsdDthbmRyZWouYmF1ZXJAYW5kcmVqLmNv bSAmZ3Q7Jm5ic3A7d3JvdGU6PC9ESVY+DQo8RElWPiZndDsmbmJzcDtPbiZuYnNwO0ZyaSwmbmJz cDtPY3QmbmJzcDs5LCZuYnNwOzIwMDkmbmJzcDthdCZuYnNwOzM6NDAmbmJzcDtBTSwmbmJzcDtZ YXJvbiZuYnNwO01pbnNreSZuYnNwOyANCiZsdDt5bWluc2t5QGdtYWlsLmNvbSAmZ3Q7Jm5ic3A7 d3JvdGU6PC9ESVY+DQo8RElWPiZndDsgJmd0OyZuYnNwO0Nob29zaW5nJm5ic3A7c2hvcnRlciZu YnNwO25hbWVzLjwvRElWPg0KPERJVj4mZ3Q7PC9ESVY+DQo8RElWPiZndDsmbmJzcDtCeSZuYnNw O3doaWNoJm5ic3A7eW91Jm5ic3A7cHJvYmFibHkmbmJzcDttZWFuJm5ic3A7InRoZSZuYnNwO2Zl d2VzdCZuYnNwO251bWJlciZuYnNwO29mJm5ic3A7ZG90cyZuYnNwOyhtb2R1bGU8L0RJVj4NCjxE SVY+Jmd0OyZuYnNwO3Byb2plY3Rpb25zKSIuPC9ESVY+DQo8RElWPiZuYnNwOzwvRElWPg0KPERJ Vj5UaGF0Jm5ic3A7aXMmbmJzcDt0aGUmbmJzcDtydWxlJm5ic3A7d2UmbmJzcDt1c2VkJm5ic3A7 aW4mbmJzcDtNTHRvbiwmbmJzcDticmVha2luZyZuYnNwO3RpZXMmbmJzcDtieTwvRElWPg0KPERJ Vj5tb3N0LXJlY2VudGx5LWRlZmluZWQuJm5ic3A7Jm5ic3A7SXQmbmJzcDt3b3JrZWQmbmJzcDtx dWl0ZSZuYnNwO3dlbGwmbmJzcDtpbiZuYnNwO3ByYWN0aWNlLjwvRElWPg0KPERJVj4mbmJzcDs8 L0RJVj4NCjxESVY+U2VlPC9ESVY+DQo8RElWPiZuYnNwOyZuYnNwOzxBIA0KaHJlZj0iaHR0cDov L21sdG9uLm9yZy9UeXBlQ2hlY2tpbmciPmh0dHA6Ly9tbHRvbi5vcmcvVHlwZUNoZWNraW5nPC9B PjwvRElWPg0KPERJVj4mbmJzcDs8L0RJVj4NCjxESVY+X19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX188L0RJVj4NCjxESVY+Q2FtbC1saXN0Jm5ic3A7bWFpbGlu ZyZuYnNwO2xpc3QuJm5ic3A7U3Vic2NyaXB0aW9uJm5ic3A7bWFuYWdlbWVudDo8L0RJVj4NCjxE SVY+PEEgDQpocmVmPSJodHRwOi8veXF1ZW0uaW5yaWEuZnIvY2dpLWJpbi9tYWlsbWFuL2xpc3Rp bmZvL2NhbWwtbGlzdCI+aHR0cDovL3lxdWVtLmlucmlhLmZyL2NnaS1iaW4vbWFpbG1hbi9saXN0 aW5mby9jYW1sLWxpc3Q8L0E+PC9ESVY+DQo8RElWPkFyY2hpdmVzOiZuYnNwOzxBIA0KaHJlZj0i aHR0cDovL2NhbWwuaW5yaWEuZnIiPmh0dHA6Ly9jYW1sLmlucmlhLmZyPC9BPjwvRElWPg0KPERJ Vj5CZWdpbm5lcidzJm5ic3A7bGlzdDombmJzcDs8QSANCmhyZWY9Imh0dHA6Ly9ncm91cHMueWFo b28uY29tL2dyb3VwL29jYW1sX2JlZ2lubmVycyI+aHR0cDovL2dyb3Vwcy55YWhvby5jb20vZ3Jv dXAvb2NhbWxfYmVnaW5uZXJzPC9BPjwvRElWPg0KPERJVj5CdWcmbmJzcDtyZXBvcnRzOiZuYnNw OzxBIA0KaHJlZj0iaHR0cDovL2NhbWwuaW5yaWEuZnIvYmluL2NhbWwtYnVncyI+aHR0cDovL2Nh bWwuaW5yaWEuZnIvYmluL2NhbWwtYnVnczwvQT48L0RJVj4NCjxESVY+Jm5ic3A7PC9ESVY+PC9G T05UPjwvRElWPjwvQk9EWT48L0hUTUw+DQo= --=====003_Dragon504124410330_=====--