Why use a DFA instead of DIP1000?

Walter Bright newshound2 at digitalmars.com
Sun Sep 14 03:12:28 UTC 2025


On 9/13/2025 4:06 AM, Dennis wrote:
> As far as I'm aware, [users expect dead code to be type checked by 
> the frontend as 
> usual](https://forum.dlang.org/post/hullwyrnmgcaoghaqbux@forum.dlang.org).

That is correct. For the false path of a `static if`, the code must be 
syntactically correct but does not have to be semantically correct. `static if` 
would be rather useless if it required semantic correctness.



More information about the Digitalmars-d mailing list