From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 37CE27EE51 for ; Mon, 20 May 2013 18:05:46 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=pra; client-ip=98.138.91.132; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of darioteixeira@yahoo.com) identity=mailfrom; client-ip=98.138.91.132; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="darioteixeira@yahoo.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@nm2-vm3.bullet.mail.ne1.yahoo.com) identity=helo; client-ip=98.138.91.132; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="darioteixeira@yahoo.com"; x-sender="postmaster@nm2-vm3.bullet.mail.ne1.yahoo.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgUFAJFJmlFiiluEb2dsb2JhbABNDYQHrlGSH4EBFg4BCgoMCRIqghoFAQEEAQsgFQECFSIBAwsGBUYvAQ4BBhIGAYgMAQECCQYEqw4JgnSEHgEjAwEjA4hUAQYKAQEBjmE6g1QDiR+OIIYXL1KIUm+EDw X-IPAS-Result: AgUFAJFJmlFiiluEb2dsb2JhbABNDYQHrlGSH4EBFg4BCgoMCRIqghoFAQEEAQsgFQECFSIBAwsGBUYvAQ4BBhIGAYgMAQECCQYEqw4JgnSEHgEjAwEjA4hUAQYKAQEBjmE6g1QDiR+OIIYXL1KIUm+EDw X-IronPort-AV: E=Sophos;i="4.87,707,1363129200"; d="scan'208";a="15040105" Received: from nm2-vm3.bullet.mail.ne1.yahoo.com ([98.138.91.132]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 May 2013 18:05:41 +0200 Received: from [98.138.90.50] by nm2.bullet.mail.ne1.yahoo.com with NNFMP; 20 May 2013 16:05:39 -0000 Received: from [98.138.89.173] by tm3.bullet.mail.ne1.yahoo.com with NNFMP; 20 May 2013 16:05:39 -0000 Received: from [127.0.0.1] by omp1029.mail.ne1.yahoo.com with NNFMP; 20 May 2013 16:05:39 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 360986.62725.bm@omp1029.mail.ne1.yahoo.com Received: (qmail 79166 invoked by uid 60001); 20 May 2013 16:05:39 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1369065939; bh=5+YkUF+OlvGUjd5i0wr6SDlaSIf8nWAA6JgPQW4ZibE=; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=jMx1D3b0ZfFVLo8p6GVa3hWlH+NBwkdIDKWuBeyxpVDqcGHAC9uTZdA+NAa/AZ1FV9OyauB/idH2NTBw0AJYrbzvuRdeM/xZXXYGdPqLjUrIrkR5J2HSmAW1beGZnVtq9usmYJxXuSEt1GOlHiu3zaLtr7Pxx37HVYOLsoz3XO8= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Rocket-MIMEInfo:X-Mailer:References:Message-ID:Date:From:Reply-To:Subject:To:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=e2lqIu7KuL61Np7Yn6MTsX7o8hxQ6Egl+S7VhMSlcB8E7z1rg4YQU4r2GiwD+EMceboXICEry4OSM0MnqRryhaLo04hjLNLP11YEnkHE8j1/wdF1Miv1Dg2wgZUHPs0roaTfhgWUT8rL1oN5Yn72BjdTzHe0YaCuDC6ySQAJaqk=; X-YMail-OSG: Q9mg7foVM1mz_n1vHOzLdoP5JLs4CDaYvmloWRjil9RWH5a Frrdc0qxbSWCuw9MYbE0KHpQPfbPklNzyXY2ChTyznXbMEZLVaE54IoJAs3u 4Qp5qm09iWO0prAtVfeJSUOUhd7Ki9303SWW_H2hQQRAFdpYEqUfBPFtryXA pjIeW2vadXpX4c2ccJBBix99WJ1K9fsiQ8TQLodtvbZ7tqejmWi1fJF5Nq_W Y06lCJg2CRvvbZLK_R9tnY8lWhdv9qqWytGaiMi4gj2NVKorDYUtkIJCuRZT 5nq0MOA5r2iG0SuttWkmbQkLuXP0A37_XMpyz9rBIwr4RiWiSa8oENY2djts WTADvsCOunDDNB21yAlmLN3dr.OnaLEwoLpbVed6fszU3oV0zyiT_HVRy.Rk 20rvAwUgtiMk4LUhMKwrztcL5Op4n58qT0vfGD5nxhNKX3fIVXaj8ycanaNy LQd7OXICws0n1Vs5.Dh5h2adM304vaK8mjCpCQIa_MgEaZ8iOTBcNSz8zaMn v4cUj21zqhE3qksXygdEjVTLl1VEi6e22_xpVNXmN Received: from [195.23.39.248] by web120402.mail.ne1.yahoo.com via HTTP; Mon, 20 May 2013 09:05:39 PDT X-Rocket-MIMEInfo: 002.001,SGksCsKgCgo.IFBlcmhhcHMgYSBtb3JlIHByYWN0aWNhbCBhcHByb2FjaCB3b3VsZCBiZSB0byBoYXZlIHRoaXMgb25seSBhdCB0aGUKPiBkb2N1bWVudGF0aW9uIGxldmVsLCBpLmUuIE1lenpvJ3MgZXF1aXZhbGVudCBvZiBvY2FtbGRvYyB3b3VsZCBzaG93IGEgcmVkIAo.ICdub24gdGFpbCByZWN1cnNpdmUnIG1hcmtlciBpbiB0aGUgZnVuY3Rpb24ncyBkb2MgdG8gYWxlcnQgdXNlcnMgdG8gdGhlCj4gbm9uLXRhaWwtcmVjdXJzaXZlIGZ1bmN0aW9ucyAoYW5kIGEgZ3JlZW4gdGFpbC1yZWN1cnNpdmUgbWEBMAEBAQE- X-Mailer: YahooMailWebService/0.8.142.542 References: <1369060290.43256.YahooMailNeo@web120405.mail.ne1.yahoo.com> <519A3EA2.9080804@etorok.net> Message-ID: <1369065939.46775.YahooMailNeo@web120402.mail.ne1.yahoo.com> Date: Mon, 20 May 2013 09:05:39 -0700 (PDT) From: Dario Teixeira Reply-To: Dario Teixeira To: =?iso-8859-1?Q?T=F6r=F6k_Edwin?= , "caml-list@inria.fr" In-Reply-To: <519A3EA2.9080804@etorok.net> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] The rec/nonrec debate Hi, =A0 > Perhaps a more practical approach would be to have this only at the > documentation level, i.e. Mezzo's equivalent of ocamldoc would show a red= =20 > 'non tail recursive' marker in the function's doc to alert users to the > non-tail-recursive functions (and a green tail-recursive marker for other= s). > In fact this might be a nice improvement to ocamldoc too. Yeah, I agree that having explicit tail/nontail keywords would be a bit muc= h, and perhaps this particular problem would be better solved at a different l= evel. It would be indeed great if an OCamldoc-like tool were to make this explici= t. Another good place to make this analysis would be in some sort of OCaml-lin= t. Cheers, Dario