Code

Control flow based type analysis#8010

Code

Merged

ahejlsberg merged 70 commits intomastermicrosoft/TypeScript:masterfrom controlFlowTypesmicrosoft/TypeScript:controlFlowTypesCopy head branch name to clipboardApr 22, 2016

+8,050-3,595

Commits

Commits on Mar 22, 2016

• Initial implementation of control flow based type analysis

  ahejlsberg

  committed
  e67d15a

• Add type annotations to suppress circularity errors

  ahejlsberg

  committed
  afa1714

• Fixing tests

  ahejlsberg

  committed
  7c45c7b

• Accepting new baselines

  ahejlsberg

  committed
  80c2e5e

Commits on Mar 24, 2016

• Adding a few optimizations

  ahejlsberg

  committed
  33985b2

Commits on Mar 25, 2016

• Handle assignment of union types in getAssignmentReducedType

  ahejlsberg

  committed
  ed5002c

• Remove incorrect type predicate (could be true even when result is false)

  ahejlsberg

  committed
  6d25a42

• Fix overly aggressive optimization

  ahejlsberg

  committed
  bf78470

• Add control flow tests

  ivogabe

  committed
  4f936c4

• Merge pull request #7690 from ivogabe/controlFlowTypesTest

  Show description for 7f02357
  ahejlsberg

  committed
  7f02357

Commits on Mar 26, 2016

• Fix issues in analysis of do..while and for..in/for..of

  ahejlsberg

  committed
  9e965d4

• Fix comment in test

  ahejlsberg

  committed
  9de0a5d

• Accepting new baselines

  ahejlsberg

  committed
  560bc3f

• Fixing some tests

  ahejlsberg

  committed
  0820249

• Accepting new baselines

  ahejlsberg

  committed
  5a5d89a

Commits on Mar 30, 2016

• Use type {} for vacuous type guards / New getTypeWithFacts function

  ahejlsberg

  committed
  424074b

• Remove unnecessary cast

  ahejlsberg

  committed
  c6f4de3

• Fix some tests

  ahejlsberg

  committed
  e53f390

• Accepting new baselines

  ahejlsberg

  committed
  a38d863

• Delete removeNullableKind, use getTypeWithFacts instead

  ahejlsberg

  committed
  3d0fa31

Commits on Mar 31, 2016

• Support unknown types (host object names) in typeof type guards

  ahejlsberg

  committed
  ce81ba5

Commits on Apr 1, 2016

• Separate error messages for 'null', 'undefined', or both.

  ahejlsberg

  committed
  354fd10

Commits on Apr 8, 2016

• Flow analysis of &&, ||, and destructuring assignments

  ahejlsberg

  committed
  5179dd6

• Accepting new baselines

  ahejlsberg

  committed
  019f5bd

• Handle shorthand property assignments

  ahejlsberg

  committed
  f13c92f

• Accepting new baselines

  ahejlsberg

  committed
  b03d087

Commits on Apr 9, 2016

• Support destructuring declarations in control flow analysis

  ahejlsberg

  committed
  7a32129

• Accepting new baselines

  ahejlsberg

  committed
  6fb9424

Commits on Apr 10, 2016

• Adding test

  ahejlsberg

  committed
  e45bac8

• Fixing fourslash tests

  ahejlsberg

  committed
  7dfcad6

• Fixing tests

  ahejlsberg

  committed
  92df029

• Accepting new baselines

  ahejlsberg

  committed
  32e6464

• Fix linting errors

  ahejlsberg

  committed
  560e768

• Merge branch 'master' into controlFlowTypes

  Show description for b1e9f43
  ahejlsberg

  committed
  b1e9f43

• Accepting new baselines

  ahejlsberg

  committed
  4c250d0

Commits on Apr 12, 2016

• A few cosmetic changes

  ahejlsberg

  committed
  7c7a1c0

• Merge branch 'master' into controlFlowTypes

  ahejlsberg

  committed
  df62fa0

• Fix finishFlow function and rename to finishFlowLabel

  ahejlsberg

  committed
  586ac55

• Adding regression test

  ahejlsberg

  committed
  cd88f1e

• Accepting new baselines

  ahejlsberg

  committed
  472ab7c

Commits on Apr 13, 2016

• Improving error reporting as suggested in code review

  ahejlsberg

  committed
  b689c07

• Fix typo

  ahejlsberg

  committed
  1ed9871

Commits on Apr 16, 2016

• Improved handing of evolving types in iteration statements

  ahejlsberg

  committed
  921efec

• Adding tests

  ahejlsberg

  committed
  9aea708

• Accepting new baselines

  ahejlsberg

  committed
  10889a0

Commits on Apr 17, 2016

• Removing unused properties

  ahejlsberg

  committed
  2595f04

Commits on Apr 18, 2016

• Improve expression type caching to ensure consistent results

  ahejlsberg

  committed
  b83dc88

• Adding tests

  ahejlsberg

  committed
  538e22a

• Accepting new baselines

  ahejlsberg

  committed
  b5104cb

• Only evaluate assigned type when declared type is a union type

  ahejlsberg

  committed
  87f55fa

• Accepting new baselines

  ahejlsberg

  committed
  9defdde

• typeof x === "function" type guards include Function interface

  ahejlsberg

  committed
  d28a4fe

Commits on Apr 19, 2016

• Variables from different source files default to their declared type

  ahejlsberg

  committed
  d735b7a

• Variables from different module declarations default to their declared type

  ahejlsberg

  committed
  c8bf6d8

Commits on Apr 20, 2016

• Support comma operator in type guards

  ahejlsberg

  committed
  ea96dfd

• Adding test

  ahejlsberg

  committed
  33e359f

• Accepting new baselines

  ahejlsberg

  committed
  bab8ef4

• Removing unused logic

  ahejlsberg

  committed
  e9a7d3d

Commits on Apr 21, 2016

• Improve consistency of instanceof and user defined type guards

  ahejlsberg

  committed
  a0101c0

• Fix incorrect user defined type guard function in compiler

  ahejlsberg

  committed
  729dfce

• Add regression test

  ahejlsberg

  committed
  3045cf5

• Accepting new baselines

  ahejlsberg

  committed
  06928b6

• Support assignments in truthiness type guards

  ahejlsberg

  committed
  8a0bc3b

• Adding test

  ahejlsberg

  committed
  d2b89be

• Removing unused logic

  ahejlsberg

  committed
  ab4b039

• Correct issue with exported variables in code flow analysis

  ahejlsberg

  committed
  e12b2a7

• Update fourslash test

  ahejlsberg

  committed
  4fb31ac

Commits on Apr 22, 2016

• Only narrow to {} in getNarrowedType when types are completely unrelated

  ahejlsberg

  committed
  f06d3f6

• Revert previous change

  ahejlsberg

  committed
  42e3fc4

• Accepting new baselines

  ahejlsberg

  committed
  0dee5ad