From: David MENTRE <david.mentre@gmail.com>
To: "basile@starynkevitch.net" <basile@starynkevitch.net>
Cc: Erik de Castro Lopo <ocaml-erikd@mega-nerd.com>,
caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Reporting on sucess/failure of tail recursion
Date: Fri, 2 Dec 2005 11:45:29 +0100 [thread overview]
Message-ID: <3d13dcfc0512020245y21228ac6q@mail.gmail.com> (raw)
In-Reply-To: <55541.132.166.133.216.1133515788.squirrel@panel.lost-oasis.net>
Hello,
2005/12/2, basile@starynkevitch.net <basile@starynkevitch.net>:
> agree it would be quite useful
So do I. I've just submited it as feature request:
http://caml.inria.fr/mantis/view.php?id=3905
> (but my knowledge of ocaml internals make
> me think that it is in principle easy, but in practice would require a lot
> of changes within the compiler, since tail-rec detection is done in passes
> near the backend, after the typing.).
I arrived to the same conclusion. I wanted to implement that feature
but when I discovered the same facts as you, I ditched the project
(ok, I could have try a little harder but it wasn't the week-end
project I expected :-).
Yours,
d.
next prev parent reply other threads:[~2005-12-02 10:45 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-12-02 9:09 Erik de Castro Lopo
2005-12-02 9:13 ` [Caml-list] " Jonathan Roewen
2005-12-02 9:25 ` Erik de Castro Lopo
2005-12-02 9:29 ` basile
2005-12-02 10:16 ` Erik de Castro Lopo
2005-12-02 15:17 ` Jean-Christophe Filliatre
2005-12-02 23:58 ` skaller
2005-12-02 10:45 ` David MENTRE [this message]
2005-12-03 0:28 David Thomas
2005-12-04 4:11 ` Andres Varon
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=3d13dcfc0512020245y21228ac6q@mail.gmail.com \
--to=david.mentre@gmail.com \
--cc=basile@starynkevitch.net \
--cc=caml-list@yquem.inria.fr \
--cc=ocaml-erikd@mega-nerd.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox