On Monday, 21 July 2014 at 22:10:06 UTC, bearophile wrote: > Tobias Müller: > >> Wouldn't it be more useful to have a modified/annotated return >> statement for that? > > I don't know. I see what you're saying, and it works for the quick sort example. I'm not sure it covers all tailrec cases, but it seems useful.