Frank Heckenbach wrote:
However, I wouldn't mind a feature switch if deemed necessary (naming suggestions please, if you do).
I suggest --[no-]case-value-checking (just like --[no-]io-checking, --[no-]range-checking and [no-]stack-checking).
Regards,
Adriaan van Os