How far can CTFE go?

[Manfred Nowak]

H. S. Teoh wrote:

> If this was code generated by an external utility
I wasn't argumenting for using external utilities, but against the 
argument, that separating code for separatable phases would obfuscate 
the code.

>> for more than one _needed_ phase
> compile-time validation of generated code
The proof for more than one needed phase is missing and I doubt that 
there is one, because validation is part of checking contracts, which 
are not included in the `-release' compilation by definition. 

-manfred