Update baselines

This commit is contained in:
Kanchalai Tanglertsampan 2016-10-28 18:16:33 -07:00
parent f2e343903c
commit f9a317ec97
7 changed files with 21 additions and 17 deletions

View File

@ -8,7 +8,7 @@ export type Bar<X, Y> = () => [X, Y];
>Y : Y
export type Foo<Y> = Bar<any, Y>;
>Foo : Bar<any, Y>
>Foo : () => [any, Y]
>Y : Y
>Bar : Bar<X, Y>
>Y : Y
@ -17,6 +17,6 @@ export const y = (x: Foo<string>) => 1
>y : (x: () => [any, string]) => number
>(x: Foo<string>) => 1 : (x: () => [any, string]) => number
>x : () => [any, string]
>Foo : Bar<any, Y>
>Foo : () => [any, Y]
>1 : 1

View File

@ -10,7 +10,7 @@ export type Bar<X, Y, Z> = () => [X, Y, Z];
>Z : Z
export type Baz<M, N> = Bar<M, string, N>;
>Baz : Bar<M, string, N>
>Baz : () => [M, string, N]
>M : M
>N : N
>Bar : Bar<X, Y, Z>
@ -20,7 +20,7 @@ export type Baz<M, N> = Bar<M, string, N>;
export type Baa<Y> = Baz<boolean, Y>;
>Baa : () => [boolean, string, Y]
>Y : Y
>Baz : Bar<M, string, N>
>Baz : () => [M, string, N]
>Y : Y
export const y = (x: Baa<number>) => 1

View File

@ -18,4 +18,6 @@ function bar() {
declare type Foo<T> = {
foo<U>(): Foo<U>;
};
declare function bar(): Foo<number>;
declare function bar(): {
foo<U>(): any;
};

View File

@ -5,17 +5,17 @@ type Foo<T> = {
>T : T
foo<U>(): Foo<U>
>foo : <U>() => Foo<U>
>foo : <U>() => { foo<U>(): any; }
>U : U
>Foo : Foo<T>
>U : U
};
function bar() {
>bar : () => Foo<number>
>bar : () => { foo<U>(): any; }
return {} as Foo<number>;
>{} as Foo<number> : Foo<number>
>{} as Foo<number> : { foo<U>(): any; }
>{} : {}
>Foo : Foo<T>
}

View File

@ -6,7 +6,7 @@ type Foo<T, Y> = {
>Y : Y
foo<U, J>(): Foo<U, J>
>foo : <U, J>() => Foo<U, J>
>foo : <U, J>() => { foo<U, J>(): any; }
>U : U
>J : J
>Foo : Foo<T, Y>
@ -15,7 +15,7 @@ type Foo<T, Y> = {
};
type SubFoo<R> = Foo<string, R>;
>SubFoo : Foo<string, R>
>SubFoo : { foo<U, J>(): any; }
>R : R
>Foo : Foo<T, Y>
>R : R
@ -26,6 +26,6 @@ function foo() {
return {} as SubFoo<number>;
>{} as SubFoo<number> : { foo<U, J>(): any; }
>{} : {}
>SubFoo : Foo<string, R>
>SubFoo : { foo<U, J>(): any; }
}

View File

@ -21,4 +21,6 @@ declare type Foo<T, Y> = {
foo<U, J>(): Foo<U, J>;
};
declare type SubFoo<R, S> = Foo<S, R>;
declare function foo(): Foo<number, string>;
declare function foo(): {
foo<U, J>(): any;
};

View File

@ -6,7 +6,7 @@ type Foo<T, Y> = {
>Y : Y
foo<U, J>(): Foo<U, J>
>foo : <U, J>() => Foo<U, J>
>foo : <U, J>() => { foo<U, J>(): any; }
>U : U
>J : J
>Foo : Foo<T, Y>
@ -15,7 +15,7 @@ type Foo<T, Y> = {
};
type SubFoo<R, S> = Foo<S, R>;
>SubFoo : Foo<S, R>
>SubFoo : { foo<U, J>(): any; }
>R : R
>S : S
>Foo : Foo<T, Y>
@ -23,11 +23,11 @@ type SubFoo<R, S> = Foo<S, R>;
>R : R
function foo() {
>foo : () => Foo<number, string>
>foo : () => { foo<U, J>(): any; }
return {} as SubFoo<number, string>;
>{} as SubFoo<number, string> : Foo<number, string>
>{} as SubFoo<number, string> : { foo<U, J>(): any; }
>{} : {}
>SubFoo : Foo<S, R>
>SubFoo : { foo<U, J>(): any; }
}