Re: [isabelle] No tail-recursive code equation for List.map



On Fri, Apr 26, 2013 at 6:50 AM, René Thiemann <rene.thiemann at uibk.ac.at> wrote:
> So, if there will be a tail-recursive code equation for List.map in
> the default library, please only activate it on languages which
> really profit from tail-recursion.

I remember having a similar thought when I saw the changeset "tail
recursive code for function upto" a while back.

http://isabelle.in.tum.de/repos/isabelle/rev/a019e013b7e4

The original (non-tail recursive) code would be preferred when
generating Haskell.

- Brian




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.