So staging annotations then? Sandro
On 04/04/2014 4:33 PM, Jonathan S. Shapiro wrote: > > Let me give a counter-example to this that I'm adapting from Engler's > work on tick-c. Think about loop unrolling. The loop bound is often a > run-time constant. The compiler knows what unrollings are feasible, > but it cannot choose the right one until runtime. The tick-c idea is > that it should instead (statically) emit code that (dynamically) emits > the appropriately unrolled loop and then executes it. > > Think of this as one form of continuous compilation. It's empirically > useful. _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
