On Wed, Aug 07, 2013 at 09:18:05PM +0200, Stefan Hajnoczi wrote: > I guess the practical problem is that CPC will get > upset that it's being called by the coroutine implementation from > non-coroutine contexts.
But is it really the case? If Charlie added an annotation, it probably means that in practice it was only called from coroutine context anyway. The only downside from CPC's point of view is that there is a cost to making a coroutine_fn, and it's a pity to pay it when it's useless (ie. when the function never yields anyway). -- Gabriel