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.
The original (non-tail recursive) code would be preferred when
This archive was generated by a fusion of
Pipermail (Mailman edition) and