Make all verifier tests singleton-safe, then turn on singleton checking by default


D1446 added singleton checking, which helps guard against misspelled variables. We should turn it on by default. This isn't immediately possible because we use innocent singletons in tests:

@foo defines/binding VariableFoo

VariableFoo is a singleton in this example. The test must be transformed to:

@foo defines/binding _VariableFoo

since _-prefixed variable names are excluded from singleton checks.

zarko created this task.Via WebFri, Mar 31, 1:06 PM
zarko added a project: Verifier.
zarko added a subscriber: zarko.
Herald added a subscriber: Core Team. · View Herald TranscriptVia HeraldFri, Mar 31, 1:07 PM
zarko claimed this task.Via WebFri, Mar 31, 1:07 PM

Add Comment