Code

Mapped types#12114

Code

Merged

ahejlsberg merged 31 commits intomastermicrosoft/TypeScript:masterfrom mappedTypesmicrosoft/TypeScript:mappedTypesCopy head branch name to clipboardNov 13, 2016

+2,757-171

Commits

Commits on Nov 3, 2016

• Parsing of mapped types

  ahejlsberg

  committed
  7cd39e3

  Copy full SHA for 7cd39e3

• Parse '[P in K]' part of mapped type as a type parameter declaration

  ahejlsberg

  committed
  d1a8af5

  Copy full SHA for d1a8af5

Commits on Nov 4, 2016

• Introduce MappedType in type checker

  ahejlsberg

  committed
  fc450a2

  Copy full SHA for fc450a2

• Merge branch 'master' into mappedTypes

  ahejlsberg

  committed
  ecdb74c

  Copy full SHA for ecdb74c

• Attach symbols to mapped types

  ahejlsberg

  committed
  7807ac9

  Copy full SHA for 7807ac9

Commits on Nov 5, 2016

• Introduce instantiateCached function

  ahejlsberg

  committed
  1c7b397

  Copy full SHA for 1c7b397

Commits on Nov 6, 2016

• Handle readonly and optional properties + index signatures

  ahejlsberg

  committed
  507ab30

  Copy full SHA for 507ab30

• Handle recursion in mapped type display

  ahejlsberg

  committed
  2564e1c

  Copy full SHA for 2564e1c

Commits on Nov 7, 2016

• Validate constraint type in mapped type

  ahejlsberg

  committed
  5de63a7

  Copy full SHA for 5de63a7

• Correct symbol display for type parameter of mapped type

  ahejlsberg

  committed
  de93876

  Copy full SHA for de93876

• Improve sharing by re-instantiating top level type aliases

  ahejlsberg

  committed
  9f3aa38

  Copy full SHA for 9f3aa38

Commits on Nov 8, 2016

• Type inference for mapped types

  ahejlsberg

  committed
  8aef1e6

  Copy full SHA for 8aef1e6

• Merge branch 'master' into mappedTypes

  Show description for 7ca5923
  ahejlsberg

  committed
  7ca5923

  Copy full SHA for 7ca5923

• Make keyof T assignable to and subtype of string | number

  ahejlsberg

  committed
  a562d6e

  Copy full SHA for a562d6e

• Add relations for keyof S / keyof T and [P in S]: X / [P in T]: X

  ahejlsberg

  committed
  cf2953b

  Copy full SHA for cf2953b

• Don't include private/protected properties in keyof T

  ahejlsberg

  committed
  aca7e2f

  Copy full SHA for aca7e2f

Commits on Nov 9, 2016

• Properly implement type relationship for '[P in S]: X' and '[P in T]: Y'

  ahejlsberg

  committed
  3dd11e4

  Copy full SHA for 3dd11e4

Commits on Nov 10, 2016

• Defer resolution of mapped types to enable recursive definitions

  ahejlsberg

  committed
  2170ff6

  Copy full SHA for 2170ff6

• Use pull model to obtain type alias information for type nodes

  ahejlsberg

  committed
  b81c226

  Copy full SHA for b81c226

• Accept new baselines

  ahejlsberg

  committed
  de2da2c

  Copy full SHA for de2da2c

• Check mapped type constraint is assignable to string | number

  ahejlsberg

  committed
  aca1ab3

  Copy full SHA for aca1ab3

• Merge branch 'master' into mappedTypes

  Show description for 64d2698
  ahejlsberg

  committed
  64d2698

  Copy full SHA for 64d2698

• Add declaration emit support

  ahejlsberg

  committed
  cd185f2

  Copy full SHA for cd185f2

Commits on Nov 11, 2016

• Add missing node visits in forEachChild

  ahejlsberg

  committed
  1c7ec6b

  Copy full SHA for 1c7ec6b

• Improve type inference for types with same generic type alias

  ahejlsberg

  committed
  364142c

  Copy full SHA for 364142c

• Add tests

  ahejlsberg

  committed
  e9b6ddc

  Copy full SHA for e9b6ddc

• More tests

  ahejlsberg

  committed
  ca3f797

  Copy full SHA for ca3f797

• Accept new baselines

  ahejlsberg

  committed
  5028a44

  Copy full SHA for 5028a44

Commits on Nov 12, 2016

• Address CR feedback

  ahejlsberg

  committed
  9ac7667

  Copy full SHA for 9ac7667

• Accept new baselines

  ahejlsberg

  committed
  6ceab7b

  Copy full SHA for 6ceab7b

Commits on Nov 13, 2016

• Add comment explaining type alias instantiation strategy

  ahejlsberg

  committed
  cd05c07

  Copy full SHA for cd05c07