Comment by avgcorrection

I rarely butt into practices for languages that I don’t use.[1] But having a flag for “are we type-checking” is a, well, huge red flag.

[1] Except some light scripting