Microsoft/TypeScript
1
0
Fork 0
mirror of https://github.com/microsoft/TypeScript.git synced 2025-11-18 17:21:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Accepted baselines.

Browse Source
This commit is contained in:
Daniel Rosenwasser
2015-10-02 15:42:16 -07:00
parent f721971063
commit 7b4e94dbd5
9 changed files with 286 additions and 97 deletions
Download Patch File Download Diff File Expand all files Collapse all files
tests/baselines/reference/stringLiteralTypesInUnionTypes01.errors.txt
-33
View File
@@ -1,33 +0,0 @@
tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes01.ts(4,5): error TS2322: Type 'string' is not assignable to type '"foo" | "bar" | "baz"'.
Type 'string' is not assignable to type '"baz"'.
tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes01.ts(5,5): error TS2322: Type 'string' is not assignable to type '"foo" | "bar" | "baz"'.
Type 'string' is not assignable to type '"baz"'.
==== tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes01.ts (2 errors) ====
type T = "foo" | "bar" | "baz";
var x: "foo" | "bar" | "baz" = "foo";
~
!!! error TS2322: Type 'string' is not assignable to type '"foo" | "bar" | "baz"'.
!!! error TS2322: Type 'string' is not assignable to type '"baz"'.
var y: T = "bar";
~
!!! error TS2322: Type 'string' is not assignable to type '"foo" | "bar" | "baz"'.
!!! error TS2322: Type 'string' is not assignable to type '"baz"'.
if (x === "foo") {
let a = x;
}
else if (x !== "bar") {
let b = x || y;
}
else {
let c = x;
let d = y;
let e: (typeof x) | (typeof y) = c || d;
}
x = y;
y = x;
tests/baselines/reference/stringLiteralTypesInUnionTypes01.symbols
+52
View File
@@ -0,0 +1,52 @@
=== tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes01.ts ===
type T = "foo" | "bar" | "baz";
>T : Symbol(T, Decl(stringLiteralTypesInUnionTypes01.ts, 0, 0))
var x: "foo" | "bar" | "baz" = "foo";
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes01.ts, 3, 3))
var y: T = "bar";
>y : Symbol(y, Decl(stringLiteralTypesInUnionTypes01.ts, 4, 3))
>T : Symbol(T, Decl(stringLiteralTypesInUnionTypes01.ts, 0, 0))
if (x === "foo") {
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes01.ts, 3, 3))
let a = x;
>a : Symbol(a, Decl(stringLiteralTypesInUnionTypes01.ts, 7, 7))
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes01.ts, 3, 3))
}
else if (x !== "bar") {
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes01.ts, 3, 3))
let b = x || y;
>b : Symbol(b, Decl(stringLiteralTypesInUnionTypes01.ts, 10, 7))
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes01.ts, 3, 3))
>y : Symbol(y, Decl(stringLiteralTypesInUnionTypes01.ts, 4, 3))
}
else {
let c = x;
>c : Symbol(c, Decl(stringLiteralTypesInUnionTypes01.ts, 13, 7))
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes01.ts, 3, 3))
let d = y;
>d : Symbol(d, Decl(stringLiteralTypesInUnionTypes01.ts, 14, 7))
>y : Symbol(y, Decl(stringLiteralTypesInUnionTypes01.ts, 4, 3))
let e: (typeof x) | (typeof y) = c || d;
>e : Symbol(e, Decl(stringLiteralTypesInUnionTypes01.ts, 15, 7))
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes01.ts, 3, 3))
>y : Symbol(y, Decl(stringLiteralTypesInUnionTypes01.ts, 4, 3))
>c : Symbol(c, Decl(stringLiteralTypesInUnionTypes01.ts, 13, 7))
>d : Symbol(d, Decl(stringLiteralTypesInUnionTypes01.ts, 14, 7))
}
x = y;
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes01.ts, 3, 3))
>y : Symbol(y, Decl(stringLiteralTypesInUnionTypes01.ts, 4, 3))
y = x;
>y : Symbol(y, Decl(stringLiteralTypesInUnionTypes01.ts, 4, 3))
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes01.ts, 3, 3))
tests/baselines/reference/stringLiteralTypesInUnionTypes01.types
+62
View File
@@ -0,0 +1,62 @@
=== tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes01.ts ===
type T = "foo" | "bar" | "baz";
>T : "foo" | "bar" | "baz"
var x: "foo" | "bar" | "baz" = "foo";
>x : "foo" | "bar" | "baz"
>"foo" : "foo" | "bar" | "baz"
var y: T = "bar";
>y : "foo" | "bar" | "baz"
>T : "foo" | "bar" | "baz"
>"bar" : "foo" | "bar" | "baz"
if (x === "foo") {
>x === "foo" : boolean
>x : "foo" | "bar" | "baz"
>"foo" : string
let a = x;
>a : "foo" | "bar" | "baz"
>x : "foo" | "bar" | "baz"
}
else if (x !== "bar") {
>x !== "bar" : boolean
>x : "foo" | "bar" | "baz"
>"bar" : string
let b = x || y;
>b : "foo" | "bar" | "baz"
>x || y : "foo" | "bar" | "baz"
>x : "foo" | "bar" | "baz"
>y : "foo" | "bar" | "baz"
}
else {
let c = x;
>c : "foo" | "bar" | "baz"
>x : "foo" | "bar" | "baz"
let d = y;
>d : "foo" | "bar" | "baz"
>y : "foo" | "bar" | "baz"
let e: (typeof x) | (typeof y) = c || d;
>e : "foo" | "bar" | "baz"
>x : "foo" | "bar" | "baz"
>y : "foo" | "bar" | "baz"
>c || d : "foo" | "bar" | "baz"
>c : "foo" | "bar" | "baz"
>d : "foo" | "bar" | "baz"
}
x = y;
>x = y : "foo" | "bar" | "baz"
>x : "foo" | "bar" | "baz"
>y : "foo" | "bar" | "baz"
y = x;
>y = x : "foo" | "bar" | "baz"
>y : "foo" | "bar" | "baz"
>x : "foo" | "bar" | "baz"
tests/baselines/reference/stringLiteralTypesInUnionTypes02.types
+2 -2
View File
@@ -5,12 +5,12 @@ type T = string | "foo" | "bar" | "baz";
var x: "foo" | "bar" | "baz" | string = "foo";
>x : "foo" | "bar" | "baz" | string
>"foo" : string
>"foo" : "foo" | "bar" | "baz" | string
var y: T = "bar";
>y : string | "foo" | "bar" | "baz"
>T : string | "foo" | "bar" | "baz"
>"bar" : string
>"bar" : string | "foo" | "bar" | "baz"
if (x === "foo") {
>x === "foo" : boolean
tests/baselines/reference/stringLiteralTypesInUnionTypes03.errors.txt
+1 -6
View File
@@ -1,18 +1,13 @@
tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes03.ts(5,5): error TS2322: Type 'string' is not assignable to type 'number | "foo" | "bar"'.
Type 'string' is not assignable to type '"bar"'.
tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes03.ts(7,5): error TS2365: Operator '===' cannot be applied to types '"foo" | "bar" | number' and 'string'.
tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes03.ts(10,10): error TS2365: Operator '!==' cannot be applied to types '"foo" | "bar" | number' and 'string'.
==== tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes03.ts (3 errors) ====
==== tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes03.ts (2 errors) ====
type T = number | "foo" | "bar";
var x: "foo" | "bar" | number;
var y: T = "bar";
~
!!! error TS2322: Type 'string' is not assignable to type 'number | "foo" | "bar"'.
!!! error TS2322: Type 'string' is not assignable to type '"bar"'.
if (x === "foo") {
~~~~~~~~~~~
tests/baselines/reference/stringLiteralTypesInUnionTypes04.errors.txt
-50
View File
@@ -1,50 +0,0 @@
tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes04.ts(4,5): error TS2322: Type 'string' is not assignable to type '"" | "foo"'.
Type 'string' is not assignable to type '"foo"'.
tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes04.ts(5,5): error TS2322: Type 'string' is not assignable to type '"" | "foo"'.
Type 'string' is not assignable to type '"foo"'.
==== tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes04.ts (2 errors) ====
type T = "" | "foo";
let x: T = "";
~
!!! error TS2322: Type 'string' is not assignable to type '"" | "foo"'.
!!! error TS2322: Type 'string' is not assignable to type '"foo"'.
let y: T = "foo";
~
!!! error TS2322: Type 'string' is not assignable to type '"" | "foo"'.
!!! error TS2322: Type 'string' is not assignable to type '"foo"'.
if (x === "") {
let a = x;
}
if (x !== "") {
let b = x;
}
if (x == "") {
let c = x;
}
if (x != "") {
let d = x;
}
if (x) {
let e = x;
}
if (!x) {
let f = x;
}
if (!!x) {
let g = x;
}
if (!!!x) {
let h = x;
}
tests/baselines/reference/stringLiteralTypesInUnionTypes04.symbols
+76
View File
@@ -0,0 +1,76 @@
=== tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes04.ts ===
type T = "" | "foo";
>T : Symbol(T, Decl(stringLiteralTypesInUnionTypes04.ts, 0, 0))
let x: T = "";
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes04.ts, 3, 3))
>T : Symbol(T, Decl(stringLiteralTypesInUnionTypes04.ts, 0, 0))
let y: T = "foo";
>y : Symbol(y, Decl(stringLiteralTypesInUnionTypes04.ts, 4, 3))
>T : Symbol(T, Decl(stringLiteralTypesInUnionTypes04.ts, 0, 0))
if (x === "") {
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes04.ts, 3, 3))
let a = x;
>a : Symbol(a, Decl(stringLiteralTypesInUnionTypes04.ts, 7, 7))
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes04.ts, 3, 3))
}
if (x !== "") {
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes04.ts, 3, 3))
let b = x;
>b : Symbol(b, Decl(stringLiteralTypesInUnionTypes04.ts, 11, 7))
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes04.ts, 3, 3))
}
if (x == "") {
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes04.ts, 3, 3))
let c = x;
>c : Symbol(c, Decl(stringLiteralTypesInUnionTypes04.ts, 15, 7))
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes04.ts, 3, 3))
}
if (x != "") {
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes04.ts, 3, 3))
let d = x;
>d : Symbol(d, Decl(stringLiteralTypesInUnionTypes04.ts, 19, 7))
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes04.ts, 3, 3))
}
if (x) {
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes04.ts, 3, 3))
let e = x;
>e : Symbol(e, Decl(stringLiteralTypesInUnionTypes04.ts, 23, 7))
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes04.ts, 3, 3))
}
if (!x) {
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes04.ts, 3, 3))
let f = x;
>f : Symbol(f, Decl(stringLiteralTypesInUnionTypes04.ts, 27, 7))
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes04.ts, 3, 3))
}
if (!!x) {
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes04.ts, 3, 3))
let g = x;
>g : Symbol(g, Decl(stringLiteralTypesInUnionTypes04.ts, 31, 7))
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes04.ts, 3, 3))
}
if (!!!x) {
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes04.ts, 3, 3))
let h = x;
>h : Symbol(h, Decl(stringLiteralTypesInUnionTypes04.ts, 35, 7))
>x : Symbol(x, Decl(stringLiteralTypesInUnionTypes04.ts, 3, 3))
}
tests/baselines/reference/stringLiteralTypesInUnionTypes04.types
+92
View File
@@ -0,0 +1,92 @@
=== tests/cases/conformance/types/stringLiteral/stringLiteralTypesInUnionTypes04.ts ===
type T = "" | "foo";
>T : "" | "foo"
let x: T = "";
>x : "" | "foo"
>T : "" | "foo"
>"" : "" | "foo"
let y: T = "foo";
>y : "" | "foo"
>T : "" | "foo"
>"foo" : "" | "foo"
if (x === "") {
>x === "" : boolean
>x : "" | "foo"
>"" : string
let a = x;
>a : "" | "foo"
>x : "" | "foo"
}
if (x !== "") {
>x !== "" : boolean
>x : "" | "foo"
>"" : string
let b = x;
>b : "" | "foo"
>x : "" | "foo"
}
if (x == "") {
>x == "" : boolean
>x : "" | "foo"
>"" : string
let c = x;
>c : "" | "foo"
>x : "" | "foo"
}
if (x != "") {
>x != "" : boolean
>x : "" | "foo"
>"" : string
let d = x;
>d : "" | "foo"
>x : "" | "foo"
}
if (x) {
>x : "" | "foo"
let e = x;
>e : "" | "foo"
>x : "" | "foo"
}
if (!x) {
>!x : boolean
>x : "" | "foo"
let f = x;
>f : "" | "foo"
>x : "" | "foo"
}
if (!!x) {
>!!x : boolean
>!x : boolean
>x : "" | "foo"
let g = x;
>g : "" | "foo"
>x : "" | "foo"
}
if (!!!x) {
>!!!x : boolean
>!!x : boolean
>!x : boolean
>x : "" | "foo"
let h = x;
>h : "" | "foo"
>x : "" | "foo"
}
tests/baselines/reference/stringLiteralTypesTypePredicates01.errors.txt
+1 -6
View File
@@ -1,10 +1,8 @@
tests/cases/conformance/types/stringLiteral/stringLiteralTypesTypePredicates01.ts(4,10): error TS2382: Specialized overload signature is not assignable to any non-specialized signature.
tests/cases/conformance/types/stringLiteral/stringLiteralTypesTypePredicates01.ts(5,10): error TS2382: Specialized overload signature is not assignable to any non-specialized signature.
tests/cases/conformance/types/stringLiteral/stringLiteralTypesTypePredicates01.ts(10,5): error TS2322: Type 'string' is not assignable to type '"A" | "B"'.
Type 'string' is not assignable to type '"B"'.
==== tests/cases/conformance/types/stringLiteral/stringLiteralTypesTypePredicates01.ts (3 errors) ====
==== tests/cases/conformance/types/stringLiteral/stringLiteralTypesTypePredicates01.ts (2 errors) ====
type Kind = "A" | "B"
@@ -19,9 +17,6 @@ tests/cases/conformance/types/stringLiteral/stringLiteralTypesTypePredicates01.t
}
var x: Kind = "A";
~
!!! error TS2322: Type 'string' is not assignable to type '"A" | "B"'.
!!! error TS2322: Type 'string' is not assignable to type '"B"'.
if (kindIs(x, "A")) {
let a = x;