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 WebMar 31 2017, 1:06 PM
zarko added a project: Verifier.
zarko added a subscriber: zarko.
Herald added a subscriber: Core Team. · View Herald TranscriptVia HeraldMar 31 2017, 1:07 PM
zarko claimed this task.Via WebMar 31 2017, 1:07 PM

Add Comment