Tokenize properties and block scoped variables
We weren't properly emitting fully qualified tokens for properties
and "block scoped variables" (of which, module properties qualify).
This change fixes that, bringing the ec2instance verification error
count down from 22 to 7.
@@ -679,10 +679,9 @@ export class Transformer {
// For member symbols, we must emit the fully qualified name.
let kinds: ts.SymbolFlags =
- ts.SymbolFlags.Function |
- ts.SymbolFlags.Class | ts.SymbolFlags.Interface |
- ts.SymbolFlags.ConstEnum | ts.SymbolFlags.RegularEnum |
- ts.SymbolFlags.TypeAlias;
+ ts.SymbolFlags.Function | ts.SymbolFlags.Property | ts.SymbolFlags.BlockScopedVariable |
+ ts.SymbolFlags.Class | ts.SymbolFlags.Interface | ts.SymbolFlags.TypeAlias |
+ ts.SymbolFlags.ConstEnum | ts.SymbolFlags.RegularEnum;
if (sym.flags & kinds) {
let decls: ts.Declaration[] = sym.getDeclarations();
contract.assert(decls.length > 0);
