1. Exactly what expressions need to get folded at compile-time is
language-dependent. Therefore, front ends need to control what
expressions get folded and how that folding takes place.I think I'm agreeing with you, but I just want to make sure that "need" in the above means "required to be made into a constant by the semantics of the language".
