|
|
|---|
|
|
|
|---|
Fixtype of validation scopes of ordinary identifiers.
Identifiers have scopes [C:6.2.1], which the validator tracks. In each scope, for each name space, each identifier must have one meaning (if any) [C:6.2.1/2]. Thus, we use an alist from identifiers to the validation information about ordinary identifiers, to track each scope in the name space of ordinary identifiers.