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

On Fri, Apr 26, 2013 at 6:50 AM, René Thiemann <rene.thiemann at> wrote:
> So, if there will be a tail-recursive code equation for 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.

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.