1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
|
=== tests/cases/compiler/augmentedTypesModules.ts ===
// module then var
module m1 { }
>m1 : Symbol(m1, Decl(augmentedTypesModules.ts, 0, 0), Decl(augmentedTypesModules.ts, 2, 3))
var m1 = 1; // Should be allowed
>m1 : Symbol(m1, Decl(augmentedTypesModules.ts, 0, 0), Decl(augmentedTypesModules.ts, 2, 3))
module m1a { var y = 2; } // error
>m1a : Symbol(m1a, Decl(augmentedTypesModules.ts, 2, 11))
>y : Symbol(y, Decl(augmentedTypesModules.ts, 4, 16))
var m1a = 1; // error
>m1a : Symbol(m1a, Decl(augmentedTypesModules.ts, 5, 3))
module m1b { export var y = 2; } // error
>m1b : Symbol(m1b, Decl(augmentedTypesModules.ts, 5, 12))
>y : Symbol(y, Decl(augmentedTypesModules.ts, 7, 23))
var m1b = 1; // error
>m1b : Symbol(m1b, Decl(augmentedTypesModules.ts, 8, 3))
module m1c {
>m1c : Symbol(m1c, Decl(augmentedTypesModules.ts, 8, 12), Decl(augmentedTypesModules.ts, 13, 3))
export interface I { foo(): void; }
>I : Symbol(I, Decl(augmentedTypesModules.ts, 10, 12))
>foo : Symbol(I.foo, Decl(augmentedTypesModules.ts, 11, 24))
}
var m1c = 1; // Should be allowed
>m1c : Symbol(m1c, Decl(augmentedTypesModules.ts, 8, 12), Decl(augmentedTypesModules.ts, 13, 3))
module m1d { // error
>m1d : Symbol(m1d, Decl(augmentedTypesModules.ts, 13, 12))
export class I { foo() { } }
>I : Symbol(I, Decl(augmentedTypesModules.ts, 15, 12))
>foo : Symbol(I.foo, Decl(augmentedTypesModules.ts, 16, 20))
}
var m1d = 1; // error
>m1d : Symbol(m1d, Decl(augmentedTypesModules.ts, 18, 3))
// module then function
module m2 { }
>m2 : Symbol(m2, Decl(augmentedTypesModules.ts, 21, 13), Decl(augmentedTypesModules.ts, 18, 12))
function m2() { }; // ok since the module is not instantiated
>m2 : Symbol(m2, Decl(augmentedTypesModules.ts, 21, 13), Decl(augmentedTypesModules.ts, 18, 12))
module m2a { var y = 2; }
>m2a : Symbol(m2a, Decl(augmentedTypesModules.ts, 24, 25), Decl(augmentedTypesModules.ts, 22, 18))
>y : Symbol(y, Decl(augmentedTypesModules.ts, 24, 16))
function m2a() { }; // error since the module is instantiated
>m2a : Symbol(m2a, Decl(augmentedTypesModules.ts, 24, 25), Decl(augmentedTypesModules.ts, 22, 18))
module m2b { export var y = 2; }
>m2b : Symbol(m2b, Decl(augmentedTypesModules.ts, 27, 32), Decl(augmentedTypesModules.ts, 25, 19))
>y : Symbol(y, Decl(augmentedTypesModules.ts, 27, 23))
function m2b() { }; // error since the module is instantiated
>m2b : Symbol(m2b, Decl(augmentedTypesModules.ts, 27, 32), Decl(augmentedTypesModules.ts, 25, 19))
// should be errors to have function first
function m2c() { };
>m2c : Symbol(m2c, Decl(augmentedTypesModules.ts, 28, 19), Decl(augmentedTypesModules.ts, 31, 19))
module m2c { export var y = 2; }
>m2c : Symbol(m2c, Decl(augmentedTypesModules.ts, 28, 19), Decl(augmentedTypesModules.ts, 31, 19))
>y : Symbol(y, Decl(augmentedTypesModules.ts, 32, 23))
module m2d { }
>m2d : Symbol(m2d, Decl(augmentedTypesModules.ts, 34, 14), Decl(augmentedTypesModules.ts, 32, 32))
declare function m2d(): void;
>m2d : Symbol(m2d, Decl(augmentedTypesModules.ts, 34, 14), Decl(augmentedTypesModules.ts, 32, 32))
declare function m2e(): void;
>m2e : Symbol(m2e, Decl(augmentedTypesModules.ts, 35, 29), Decl(augmentedTypesModules.ts, 37, 29))
module m2e { }
>m2e : Symbol(m2e, Decl(augmentedTypesModules.ts, 35, 29), Decl(augmentedTypesModules.ts, 37, 29))
function m2f() { };
>m2f : Symbol(m2f, Decl(augmentedTypesModules.ts, 38, 14), Decl(augmentedTypesModules.ts, 40, 19))
module m2f { export interface I { foo(): void } }
>m2f : Symbol(m2f, Decl(augmentedTypesModules.ts, 38, 14), Decl(augmentedTypesModules.ts, 40, 19))
>I : Symbol(I, Decl(augmentedTypesModules.ts, 41, 12))
>foo : Symbol(I.foo, Decl(augmentedTypesModules.ts, 41, 33))
function m2g() { };
>m2g : Symbol(m2g, Decl(augmentedTypesModules.ts, 41, 49), Decl(augmentedTypesModules.ts, 43, 19))
module m2g { export class C { foo() { } } }
>m2g : Symbol(m2g, Decl(augmentedTypesModules.ts, 41, 49), Decl(augmentedTypesModules.ts, 43, 19))
>C : Symbol(C, Decl(augmentedTypesModules.ts, 44, 12))
>foo : Symbol(C.foo, Decl(augmentedTypesModules.ts, 44, 29))
// module then class
module m3 { }
>m3 : Symbol(m3, Decl(augmentedTypesModules.ts, 44, 43), Decl(augmentedTypesModules.ts, 47, 13))
class m3 { } // ok since the module is not instantiated
>m3 : Symbol(m3, Decl(augmentedTypesModules.ts, 44, 43), Decl(augmentedTypesModules.ts, 47, 13))
module m3a { var y = 2; }
>m3a : Symbol(m3a, Decl(augmentedTypesModules.ts, 48, 12), Decl(augmentedTypesModules.ts, 50, 25))
>y : Symbol(y, Decl(augmentedTypesModules.ts, 50, 16))
class m3a { foo() { } } // error, class isn't ambient or declared before the module
>m3a : Symbol(m3a, Decl(augmentedTypesModules.ts, 48, 12), Decl(augmentedTypesModules.ts, 50, 25))
>foo : Symbol(m3a.foo, Decl(augmentedTypesModules.ts, 51, 11))
class m3b { foo() { } }
>m3b : Symbol(m3b, Decl(augmentedTypesModules.ts, 51, 23), Decl(augmentedTypesModules.ts, 53, 23))
>foo : Symbol(m3b.foo, Decl(augmentedTypesModules.ts, 53, 11))
module m3b { var y = 2; }
>m3b : Symbol(m3b, Decl(augmentedTypesModules.ts, 51, 23), Decl(augmentedTypesModules.ts, 53, 23))
>y : Symbol(y, Decl(augmentedTypesModules.ts, 54, 16))
class m3c { foo() { } }
>m3c : Symbol(m3c, Decl(augmentedTypesModules.ts, 54, 25), Decl(augmentedTypesModules.ts, 56, 23))
>foo : Symbol(m3c.foo, Decl(augmentedTypesModules.ts, 56, 11))
module m3c { export var y = 2; }
>m3c : Symbol(m3c, Decl(augmentedTypesModules.ts, 54, 25), Decl(augmentedTypesModules.ts, 56, 23))
>y : Symbol(y, Decl(augmentedTypesModules.ts, 57, 23))
declare class m3d { foo(): void }
>m3d : Symbol(m3d, Decl(augmentedTypesModules.ts, 57, 32), Decl(augmentedTypesModules.ts, 59, 33))
>foo : Symbol(m3d.foo, Decl(augmentedTypesModules.ts, 59, 19))
module m3d { export var y = 2; }
>m3d : Symbol(m3d, Decl(augmentedTypesModules.ts, 57, 32), Decl(augmentedTypesModules.ts, 59, 33))
>y : Symbol(y, Decl(augmentedTypesModules.ts, 60, 23))
module m3e { export var y = 2; }
>m3e : Symbol(m3e, Decl(augmentedTypesModules.ts, 60, 32), Decl(augmentedTypesModules.ts, 62, 32))
>y : Symbol(y, Decl(augmentedTypesModules.ts, 62, 23))
declare class m3e { foo(): void }
>m3e : Symbol(m3e, Decl(augmentedTypesModules.ts, 60, 32), Decl(augmentedTypesModules.ts, 62, 32))
>foo : Symbol(m3e.foo, Decl(augmentedTypesModules.ts, 63, 19))
declare class m3f { foo(): void }
>m3f : Symbol(m3f, Decl(augmentedTypesModules.ts, 63, 33), Decl(augmentedTypesModules.ts, 65, 33))
>foo : Symbol(m3f.foo, Decl(augmentedTypesModules.ts, 65, 19))
module m3f { export interface I { foo(): void } }
>m3f : Symbol(m3f, Decl(augmentedTypesModules.ts, 63, 33), Decl(augmentedTypesModules.ts, 65, 33))
>I : Symbol(I, Decl(augmentedTypesModules.ts, 66, 12))
>foo : Symbol(I.foo, Decl(augmentedTypesModules.ts, 66, 33))
declare class m3g { foo(): void }
>m3g : Symbol(m3g, Decl(augmentedTypesModules.ts, 66, 49), Decl(augmentedTypesModules.ts, 68, 33))
>foo : Symbol(m3g.foo, Decl(augmentedTypesModules.ts, 68, 19))
module m3g { export class C { foo() { } } }
>m3g : Symbol(m3g, Decl(augmentedTypesModules.ts, 66, 49), Decl(augmentedTypesModules.ts, 68, 33))
>C : Symbol(C, Decl(augmentedTypesModules.ts, 69, 12))
>foo : Symbol(C.foo, Decl(augmentedTypesModules.ts, 69, 29))
// module then enum
// should be errors
module m4 { }
>m4 : Symbol(m4, Decl(augmentedTypesModules.ts, 69, 43), Decl(augmentedTypesModules.ts, 73, 13))
enum m4 { }
>m4 : Symbol(m4, Decl(augmentedTypesModules.ts, 69, 43), Decl(augmentedTypesModules.ts, 73, 13))
module m4a { var y = 2; }
>m4a : Symbol(m4a, Decl(augmentedTypesModules.ts, 74, 11), Decl(augmentedTypesModules.ts, 76, 25))
>y : Symbol(y, Decl(augmentedTypesModules.ts, 76, 16))
enum m4a { One }
>m4a : Symbol(m4a, Decl(augmentedTypesModules.ts, 74, 11), Decl(augmentedTypesModules.ts, 76, 25))
>One : Symbol(m4a.One, Decl(augmentedTypesModules.ts, 77, 10))
module m4b { export var y = 2; }
>m4b : Symbol(m4b, Decl(augmentedTypesModules.ts, 77, 16), Decl(augmentedTypesModules.ts, 79, 32))
>y : Symbol(y, Decl(augmentedTypesModules.ts, 79, 23))
enum m4b { One }
>m4b : Symbol(m4b, Decl(augmentedTypesModules.ts, 77, 16), Decl(augmentedTypesModules.ts, 79, 32))
>One : Symbol(m4b.One, Decl(augmentedTypesModules.ts, 80, 10))
module m4c { interface I { foo(): void } }
>m4c : Symbol(m4c, Decl(augmentedTypesModules.ts, 80, 16), Decl(augmentedTypesModules.ts, 82, 42))
>I : Symbol(I, Decl(augmentedTypesModules.ts, 82, 12))
>foo : Symbol(I.foo, Decl(augmentedTypesModules.ts, 82, 26))
enum m4c { One }
>m4c : Symbol(m4c, Decl(augmentedTypesModules.ts, 80, 16), Decl(augmentedTypesModules.ts, 82, 42))
>One : Symbol(m4c.One, Decl(augmentedTypesModules.ts, 83, 10))
module m4d { class C { foo() { } } }
>m4d : Symbol(m4d, Decl(augmentedTypesModules.ts, 83, 16), Decl(augmentedTypesModules.ts, 85, 36))
>C : Symbol(C, Decl(augmentedTypesModules.ts, 85, 12))
>foo : Symbol(C.foo, Decl(augmentedTypesModules.ts, 85, 22))
enum m4d { One }
>m4d : Symbol(m4d, Decl(augmentedTypesModules.ts, 83, 16), Decl(augmentedTypesModules.ts, 85, 36))
>One : Symbol(m4d.One, Decl(augmentedTypesModules.ts, 86, 10))
//// module then module
module m5 { export var y = 2; }
>m5 : Symbol(m5, Decl(augmentedTypesModules.ts, 86, 16), Decl(augmentedTypesModules.ts, 90, 31))
>y : Symbol(y, Decl(augmentedTypesModules.ts, 90, 22))
module m5 { export interface I { foo(): void } } // should already be reasonably well covered
>m5 : Symbol(m5, Decl(augmentedTypesModules.ts, 86, 16), Decl(augmentedTypesModules.ts, 90, 31))
>I : Symbol(I, Decl(augmentedTypesModules.ts, 91, 11))
>foo : Symbol(I.foo, Decl(augmentedTypesModules.ts, 91, 32))
// module then import
module m6 { export var y = 2; }
>m6 : Symbol(m6, Decl(augmentedTypesModules.ts, 91, 48))
>y : Symbol(y, Decl(augmentedTypesModules.ts, 94, 22))
//import m6 = require('');
|
