Merge pull request #2792 from Microsoft/conformanceConstEnum

Conformance for spec update section 9.4, 12.1.4 const enum

Author: yuit

tests/baselines/reference/ambientEnumDeclaration1.errors.txt

@@ -0,0 +1,24 @@
+tests/cases/conformance/ambient/ambientEnumDeclaration1.ts(5,5): error TS1066: Ambient enum elements can only have integer literal initializers.
+tests/cases/conformance/ambient/ambientEnumDeclaration1.ts(6,5): error TS1066: Ambient enum elements can only have integer literal initializers.
+tests/cases/conformance/ambient/ambientEnumDeclaration1.ts(7,5): error TS1066: Ambient enum elements can only have integer literal initializers.
+tests/cases/conformance/ambient/ambientEnumDeclaration1.ts(8,5): error TS1066: Ambient enum elements can only have integer literal initializers.
+
+
+==== tests/cases/conformance/ambient/ambientEnumDeclaration1.ts (4 errors) ====
+    // In ambient enum declarations, all values specified in enum member declarations must be classified as constant enum expressions.
+    
+    declare enum E {
+        a = 10,
+        b = 10 + 1,
+        ~
+!!! error TS1066: Ambient enum elements can only have integer literal initializers.
+        c = b,
+        ~
+!!! error TS1066: Ambient enum elements can only have integer literal initializers.
+        d = (c) + 1,
+        ~
+!!! error TS1066: Ambient enum elements can only have integer literal initializers.
+        e = 10 << 2 * 8,
+        ~
+!!! error TS1066: Ambient enum elements can only have integer literal initializers.
+    }

tests/baselines/reference/ambientEnumDeclaration1.js

@@ -0,0 +1,13 @@
+//// [ambientEnumDeclaration1.ts]
+// In ambient enum declarations, all values specified in enum member declarations must be classified as constant enum expressions.
+
+declare enum E {
+    a = 10,
+    b = 10 + 1,
+    c = b,
+    d = (c) + 1,
+    e = 10 << 2 * 8,
+}
+
+//// [ambientEnumDeclaration1.js]
+// In ambient enum declarations, all values specified in enum member declarations must be classified as constant enum expressions.

tests/baselines/reference/ambientEnumDeclaration2.js

@@ -0,0 +1,17 @@
+//// [ambientEnumDeclaration2.ts]
+// In ambient enum declarations that specify no const modifier, enum member declarations
+// that omit a value are considered computed members (as opposed to having auto- incremented values assigned).
+
+declare enum E {
+    a, // E.a
+    b, // E.b
+}
+
+declare const enum E1 {
+    a, // E.a = 0
+    b, // E.b = 1
+}
+
+//// [ambientEnumDeclaration2.js]
+// In ambient enum declarations that specify no const modifier, enum member declarations
+// that omit a value are considered computed members (as opposed to having auto- incremented values assigned).

tests/baselines/reference/ambientEnumDeclaration2.symbols

@@ -0,0 +1,23 @@
+=== tests/cases/conformance/ambient/ambientEnumDeclaration2.ts ===
+// In ambient enum declarations that specify no const modifier, enum member declarations
+// that omit a value are considered computed members (as opposed to having auto- incremented values assigned).
+
+declare enum E {
+>E : Symbol(E, Decl(ambientEnumDeclaration2.ts, 0, 0))
+
+    a, // E.a
+>a : Symbol(E.a, Decl(ambientEnumDeclaration2.ts, 3, 16))
+
+    b, // E.b
+>b : Symbol(E.b, Decl(ambientEnumDeclaration2.ts, 4, 6))
+}
+
+declare const enum E1 {
+>E1 : Symbol(E1, Decl(ambientEnumDeclaration2.ts, 6, 1))
+
+    a, // E.a = 0
+>a : Symbol(E1.a, Decl(ambientEnumDeclaration2.ts, 8, 23))
+
+    b, // E.b = 1
+>b : Symbol(E1.b, Decl(ambientEnumDeclaration2.ts, 9, 6))
+}

tests/baselines/reference/ambientEnumDeclaration2.types

@@ -0,0 +1,23 @@
+=== tests/cases/conformance/ambient/ambientEnumDeclaration2.ts ===
+// In ambient enum declarations that specify no const modifier, enum member declarations
+// that omit a value are considered computed members (as opposed to having auto- incremented values assigned).
+
+declare enum E {
+>E : E
+
+    a, // E.a
+>a : E
+
+    b, // E.b
+>b : E
+}
+
+declare const enum E1 {
+>E1 : E1
+
+    a, // E.a = 0
+>a : E1
+
+    b, // E.b = 1
+>b : E1
+}

tests/baselines/reference/constEnum1.js

@@ -0,0 +1,34 @@
+//// [constEnum1.ts]
+
+// An enum declaration that specifies a const modifier is a constant enum declaration.
+// In a constant enum declaration, all members must have constant values and
+// it is an error for a member declaration to specify an expression that isn't classified as a constant enum expression.
+
+const enum E {
+    a = 10,
+    b = a,
+    c = (a+1),
+    e,
+    d = ~e,
+    f = a << 2 >> 1,
+    g = a << 2 >>> 1,
+    h = a | b
+}
+
+//// [constEnum1.js]
+// An enum declaration that specifies a const modifier is a constant enum declaration.
+// In a constant enum declaration, all members must have constant values and
+// it is an error for a member declaration to specify an expression that isn't classified as a constant enum expression.
+
+
+//// [constEnum1.d.ts]
+declare const enum E {
+    a = 10,
+    b = 10,
+    c = 11,
+    e = 12,
+    d = -13,
+    f = 20,
+    g = 20,
+    h = 10,
+}

tests/baselines/reference/constEnum1.symbols

@@ -0,0 +1,40 @@
+=== tests/cases/conformance/constEnums/constEnum1.ts ===
+
+// An enum declaration that specifies a const modifier is a constant enum declaration.
+// In a constant enum declaration, all members must have constant values and
+// it is an error for a member declaration to specify an expression that isn't classified as a constant enum expression.
+
+const enum E {
+>E : Symbol(E, Decl(constEnum1.ts, 0, 0))
+
+    a = 10,
+>a : Symbol(E.a, Decl(constEnum1.ts, 5, 14))
+
+    b = a,
+>b : Symbol(E.b, Decl(constEnum1.ts, 6, 11))
+>a : Symbol(E.a, Decl(constEnum1.ts, 5, 14))
+
+    c = (a+1),
+>c : Symbol(E.c, Decl(constEnum1.ts, 7, 10))
+>a : Symbol(E.a, Decl(constEnum1.ts, 5, 14))
+
+    e,
+>e : Symbol(E.e, Decl(constEnum1.ts, 8, 14))
+
+    d = ~e,
+>d : Symbol(E.d, Decl(constEnum1.ts, 9, 6))
+>e : Symbol(E.e, Decl(constEnum1.ts, 8, 14))
+
+    f = a << 2 >> 1,
+>f : Symbol(E.f, Decl(constEnum1.ts, 10, 11))
+>a : Symbol(E.a, Decl(constEnum1.ts, 5, 14))
+
+    g = a << 2 >>> 1,
+>g : Symbol(E.g, Decl(constEnum1.ts, 11, 20))
+>a : Symbol(E.a, Decl(constEnum1.ts, 5, 14))
+
+    h = a | b
+>h : Symbol(E.h, Decl(constEnum1.ts, 12, 21))
+>a : Symbol(E.a, Decl(constEnum1.ts, 5, 14))
+>b : Symbol(E.b, Decl(constEnum1.ts, 6, 11))
+}

tests/baselines/reference/constEnum1.types

@@ -0,0 +1,54 @@
+=== tests/cases/conformance/constEnums/constEnum1.ts ===
+
+// An enum declaration that specifies a const modifier is a constant enum declaration.
+// In a constant enum declaration, all members must have constant values and
+// it is an error for a member declaration to specify an expression that isn't classified as a constant enum expression.
+
+const enum E {
+>E : E
+
+    a = 10,
+>a : E
+>10 : number
+
+    b = a,
+>b : E
+>a : E
+
+    c = (a+1),
+>c : E
+>(a+1) : number
+>a+1 : number
+>a : E
+>1 : number
+
+    e,
+>e : E
+
+    d = ~e,
+>d : E
+>~e : number
+>e : E
+
+    f = a << 2 >> 1,
+>f : E
+>a << 2 >> 1 : number
+>a << 2 : number
+>a : E
+>2 : number
+>1 : number
+
+    g = a << 2 >>> 1,
+>g : E
+>a << 2 >>> 1 : number
+>a << 2 : number
+>a : E
+>2 : number
+>1 : number
+
+    h = a | b
+>h : E
+>a | b : number
+>a : E
+>b : E
+}

tests/baselines/reference/constEnum2.errors.txt

@@ -0,0 +1,29 @@
+tests/cases/conformance/constEnums/constEnum2.ts(11,9): error TS2474: In 'const' enum declarations member initializer must be constant expression.
+tests/cases/conformance/constEnums/constEnum2.ts(12,9): error TS2474: In 'const' enum declarations member initializer must be constant expression.
+tests/cases/conformance/constEnums/constEnum2.ts(13,5): error TS1005: ',' expected.
+tests/cases/conformance/constEnums/constEnum2.ts(13,9): error TS2474: In 'const' enum declarations member initializer must be constant expression.
+
+
+==== tests/cases/conformance/constEnums/constEnum2.ts (4 errors) ====
+    
+    // An enum declaration that specifies a const modifier is a constant enum declaration.
+    // In a constant enum declaration, all members must have constant values and
+    // it is an error for a member declaration to specify an expression that isn't classified as a constant enum expression.
+    
+    // Error : not a constant enum expression
+    
+    const CONST = 9000 % 2;
+    const enum D {
+        d = 10,
+        e = 199 * Math.floor(Math.random() * 1000),
+            ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2474: In 'const' enum declarations member initializer must be constant expression.
+        f = d - (100 * Math.floor(Math.random() % 8))
+            ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2474: In 'const' enum declarations member initializer must be constant expression.
+        g = CONST,
+        ~
+!!! error TS1005: ',' expected.
+            ~~~~~
+!!! error TS2474: In 'const' enum declarations member initializer must be constant expression.
+    }

tests/baselines/reference/constEnum2.js

@@ -0,0 +1,32 @@
+//// [constEnum2.ts]
+
+// An enum declaration that specifies a const modifier is a constant enum declaration.
+// In a constant enum declaration, all members must have constant values and
+// it is an error for a member declaration to specify an expression that isn't classified as a constant enum expression.
+
+// Error : not a constant enum expression
+
+const CONST = 9000 % 2;
+const enum D {
+    d = 10,
+    e = 199 * Math.floor(Math.random() * 1000),
+    f = d - (100 * Math.floor(Math.random() % 8))
+    g = CONST,
+}
+
+//// [constEnum2.js]
+// An enum declaration that specifies a const modifier is a constant enum declaration.
+// In a constant enum declaration, all members must have constant values and
+// it is an error for a member declaration to specify an expression that isn't classified as a constant enum expression.
+// Error : not a constant enum expression
+var CONST = 9000 % 2;
+
+
+//// [constEnum2.d.ts]
+declare const CONST: number;
+declare const enum D {
+    d = 10,
+    e,
+    f,
+    g,
+}