English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Reporting on sucess/failure of tail recursion
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-12-02 (10:45)
From: David MENTRE <david.mentre@g...>
Subject: Re: [Caml-list] Reporting on sucess/failure of tail recursion

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:

> (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 :-).