fix: report error for mulitple union type (#2872)

HerrCai0907 · web-flow · commit 1847c8fe409c · 2024-09-26T14:03:23.000+08:00
diff --git a/src/parser.ts b/src/parser.ts
@@ -631,7 +631,7 @@ export class Parser extends DiagnosticEmitter {
     }
     // ... | type
     while (tn.skip(Token.Bar)) {
-      let nextType = this.parseType(tn, false, true);
+      let nextType = this.parseType(tn, true, false);
       if (!nextType) return null;
       let typeIsNull = type.kind == NodeKind.NamedType && (<NamedTypeNode>type).isNull;
       let nextTypeIsNull = nextType.kind == NodeKind.NamedType && (<NamedTypeNode>nextType).isNull;
diff --git a/tests/parser/union.ts b/tests/parser/union.ts
@@ -0,0 +1,9 @@
+export function foo(a: aaa | bbb | ccc): i32 {
+  return 1;
+}
+
+export function bar(a: i32 | u32 | f32): i32 {
+  return 1;
+}
+
+export let a: i32 | u32 | f32 | null = 1;
diff --git a/tests/parser/union.ts.fixture.ts b/tests/parser/union.ts.fixture.ts
@@ -0,0 +1,4 @@
+export let a = 1;
+// ERROR 100: "Not implemented: union types" in union.ts(1,36+3)
+// ERROR 100: "Not implemented: union types" in union.ts(5,36+3)
+// ERROR 100: "Not implemented: union types" in union.ts(9,27+10)

Original file line number	Diff line number	Diff line change
`@@ -631,7 +631,7 @@ export class Parser extends DiagnosticEmitter {`
`631`	`631`	`}`
`632`	`632`	`// ... \| type`
`633`	`633`	`while (tn.skip(Token.Bar)) {`
`634`		`- let nextType = this.parseType(tn, false, true);`
	`634`	`+ let nextType = this.parseType(tn, true, false);`
`635`	`635`	`if (!nextType) return null;`
`636`	`636`	`let typeIsNull = type.kind == NodeKind.NamedType && (<NamedTypeNode>type).isNull;`
`637`	`637`	`let nextTypeIsNull = nextType.kind == NodeKind.NamedType && (<NamedTypeNode>nextType).isNull;`