Christopher Chedeau
cf45afba61
- This brings in the flow test suite that contains a ton of JavaScript parsing edge cases - This creates snapshot tests using the pretty printer for all of them - If uncomment `RUN_AST_TESTS` line in `tests/run_specs.js`, it checks ast(pretty_print(x)) == ast(x). Right now, "178 failed, 197 passed, 375 of 377 total". So half of the tests are not passing, most of them are crashes and many of the rest are subtle issues.
110 lines
2.3 KiB
JavaScript
110 lines
2.3 KiB
JavaScript
function block_scope() {
|
|
let a: number = 0;
|
|
var b: number = 0;
|
|
{
|
|
let a = ""; // ok: local to block
|
|
var b = ""; // error: string ~> number
|
|
}
|
|
}
|
|
|
|
function switch_scope(x: string) {
|
|
let a: number = 0;
|
|
var b: number = 0;
|
|
switch (x) {
|
|
case "foo":
|
|
let a = ""; // ok: local to switch
|
|
var b = ""; // error: string ~> number
|
|
break;
|
|
case "bar":
|
|
let a = ""; // error: a already bound in switch
|
|
break;
|
|
}
|
|
}
|
|
|
|
// a switch is a single lexical scope, so lets and non-disjoint
|
|
// cases can mix in odd ways. our support for edge cases is not
|
|
// yet perfect.
|
|
function switch_scope2(x: number) {
|
|
switch (x) {
|
|
case 0:
|
|
a = ""; // error: assign before declaration
|
|
break;
|
|
case 1:
|
|
var b = a; // error: use before declaration
|
|
break;
|
|
case 2:
|
|
let a = "";
|
|
break;
|
|
case 3:
|
|
a = ""; // error: skipped initializer
|
|
break;
|
|
case 4:
|
|
var c:string = a; // error: skipped initializer
|
|
break;
|
|
}
|
|
a = ""; // error: a no longer in scope
|
|
}
|
|
|
|
function try_scope() {
|
|
let a: number = 0;
|
|
try {
|
|
let a = ""; // ok
|
|
} catch (e) {
|
|
let a = ""; // ok
|
|
} finally {
|
|
let a = ""; // ok
|
|
}
|
|
}
|
|
|
|
function for_scope_let() {
|
|
let a: number = 0;
|
|
for (let a = "" /* ok: local to init */;;) {}
|
|
}
|
|
|
|
function for_scope_var() {
|
|
var a: number = 0;
|
|
for (var a = "" /* error: string ~> number */;;) {}
|
|
}
|
|
|
|
function for_in_scope_let(o: Object) {
|
|
let a: number = 0;
|
|
for (let a /* ok: local to init */ in o) {}
|
|
}
|
|
|
|
function for_in_scope_var(o: Object) {
|
|
var a: number = 0;
|
|
for (var a /* error: string ~> number */ in o) {}
|
|
}
|
|
|
|
function for_of_scope_let(xs: string[]) {
|
|
let a: number = 0;
|
|
for (let a /* ok: local to init */ of xs) {}
|
|
}
|
|
|
|
function for_of_scope_var(xs: string[]) {
|
|
var a: number = 0;
|
|
for (var a /* error: string ~> number */ of xs) {}
|
|
}
|
|
|
|
function default_param_1() {
|
|
// function binding in scope in default expr
|
|
function f(
|
|
x: () => string = f // error: number ~> string
|
|
): number {
|
|
return 0;
|
|
}
|
|
}
|
|
|
|
function default_param_2() {
|
|
// fn body bindings not visible from param scope
|
|
let a = "";
|
|
function f0(x = () => a): number {
|
|
let a = 0;
|
|
return x(); // error: string ~> number
|
|
}
|
|
function f1(x = b /* error: cannot resolve b */): number {
|
|
let b = 0;
|
|
return x;
|
|
}
|
|
}
|