Sat Sep 28 16:24:17 EDT 2013

State machine compiler

In essence, this can be solved by taking a function and:
- adding a state struct parameter
- replacing *all* local variable definitions with state members
- adding a dispatcher to the code's entry point
- annotating all yield points with labels

I wonder if this works in Language.C ?
It would need support for GCC's computed goto.