Code

Control flow based type guards#6959

Code

Closed

ivogabe wants to merge 67 commits intomicrosoft:mastermicrosoft/TypeScript:masterfrom ivogabe:guardsivogabe/TypeScript:guardsCopy head branch name to clipboard

+5,100-953

Commits

Commits on Aug 15, 2015

• Merge remote-tracking branch 'Microsoft/master'

  ivogabe

  committed
  42a8efd

Commits on Aug 19, 2015

• Merge remote-tracking branch 'Microsoft/master'

  ivogabe

  committed
  80f42ed

Commits on Nov 18, 2015

• Merge branch 'master' of https://github.com/Microsoft/TypeScript

  ivogabe

  committed
  57f5d5c

Commits on Nov 30, 2015

• Merge remote-tracking branch 'Microsoft/master' into guards

  ivogabe

  committed
  163291f

Commits on Dec 4, 2015

• Add flow markers to binder

  ivogabe

  committed
  441c999

• Add BranchFlow for type guards

  Show description for 522a99c
  ivogabe

  committed
  522a99c

Commits on Dec 6, 2015

• Add caching of identifier narrowing in binder

  ivogabe

  committed
  78ca7b5

• Implement flow based type guards in checker

  ivogabe

  committed
  1fb2db6

Commits on Dec 9, 2015

• Narrow assignments to unions only

  ivogabe

  committed
  f1c9a82

• Make isDeclarationName a weak type guard for Identifiers

  ivogabe

  committed
  d3dd1fa

• Remove trailing space

  ivogabe

  committed
  702edac

• Make getNarrowedTypeOfSymbol work on all nodes again

  Show description for 8670014
  ivogabe

  committed
  8670014

• Merge remote-tracking branch 'Microsoft/master' into guards

  ivogabe

  committed
  ecbf9e2

Commits on Dec 11, 2015

• Merge remote-tracking branch 'Microsoft/master' into guards

  ivogabe

  committed
  c1abed2

Commits on Feb 6, 2016

• Bind flow of loops and named labels

  ivogabe

  committed
  905a240

• Fix flow based type guards in checker

  ivogabe

  committed
  b8c0e2c

• Merge remote-tracking branch 'Microsoft/master' into guards

  Show description for f6dc119
  ivogabe

  committed
  f6dc119

• Fix errors after merge

  ivogabe

  committed
  b385472

• Remove restriction on type narrowing with assignments in loops

  ivogabe

  committed
  6f1d84e

• Fix assignment checking

  ivogabe

  committed
  ffa8db3

Commits on Feb 8, 2016

• Remove flowIndex, use getNodeId

  ivogabe

  committed
  844a8c1

• Remove PreviousOccurency interface

  ivogabe

  committed
  ff1b2d6

• Fix typo

  ivogabe

  committed
  6c7c678

• Merge remote-tracking branch 'Microsoft/master' into guards

  ivogabe

  committed
  7d2daf9

• Fix binding of condition less for statement

  ivogabe

  committed
  035d973

Commits on Feb 11, 2016

• Handle narrowing in var declarations

  ivogabe

  committed
  b2e51a3

• Rename showError to reportError

  ivogabe

  committed
  2747c98

• Merge remote-tracking branch 'Microsoft/master' into guards

  Show description for b58eb60
  ivogabe

  committed
  b58eb60

• Fix typos after merge

  ivogabe

  committed
  3f0c283

• Merge master

  ivogabe

  committed
  a30fa8f

Commits on Feb 12, 2016

• Remove old assertion

  ivogabe

  committed
  ac2f547

• Keep narrowed types in a loop

  Show description for 0a91991
  ivogabe

  committed
  0a91991

• Merge remote-tracking branch 'Microsoft/master' into guards

  ivogabe

  committed
  a44de51

Commits on Feb 13, 2016

• Fix narrowing of union type assigned to a union type

  Show description for 67913d8
  ivogabe

  committed
  67913d8

• Merge remote-tracking branch 'Microsoft/master' into guards

  ivogabe

  committed
  f15291f

Commits on Feb 26, 2016

• Merge remote-tracking branch 'Microsoft/master' into guards

  Show description for 26a4d37
  ivogabe

  committed
  26a4d37

• Add more caching

  ivogabe

  committed
  074a05d

• Use cache to speed up multiple paths to same node in flow graph

  Show description for 2c57ee5
  ivogabe

  committed
  2c57ee5

Commits on Feb 29, 2016

• Don't error when assigning to narrowed variable using destructuring

  ivogabe

  committed
  927c562

• Merge remote-tracking branch 'Microsoft/master' into guards

  ivogabe

  committed
  a4b91f3

Commits on Mar 7, 2016

• Narrow after destructuring assignment

  ivogabe

  committed
  8673a46

Commits on Mar 9, 2016

• Rewrite recursion to loop, reduces check time

  ivogabe

  committed
  09e4302

Commits on Mar 11, 2016

• Merge remote-tracking branch 'Microsoft/master' into guards

  Show description for 1037efa
  ivogabe

  committed
  1037efa

Commits on Mar 12, 2016

• Fix issues with destructuring assignments

  ivogabe

  committed
  8331915

Commits on Mar 13, 2016

• Merge remote-tracking branch 'Microsoft/master' into guards

  ivogabe

  committed
  8d4cea4

• Fix narrowing of JSX tags

  Show description for c128582
  ivogabe

  committed
  c128582

Commits on Mar 14, 2016

• Use initial type when narrowing resulted in empty type

  ivogabe

  committed
  19b3f90

• Move narrowing info from node to NodeLinks

  ivogabe

  committed
  59b543f

• Allow narrowing in nested functions

  ivogabe

  committed
  c0061c0

Commits on Mar 15, 2016

• Narrow after destructuring assignments with initializers

  ivogabe

  committed
  096c70a

• Merge remote-tracking branch 'Microsoft/master' into guards

  ivogabe

  committed
  fa77df5

• Fix narrowing in for of statement

  ivogabe

  committed
  46786b3

• Stop narrowing with guards that contain assignments

  ivogabe

  committed
  3a7575b

• Add control flow tests

  ivogabe

  committed
  b9f5b79

• Add test for narrowing after assignment

  ivogabe

  committed
  21efd00

• Modify existing tests for new type guards behavior

  ivogabe

  committed
  d5fbd4e

Commits on Mar 16, 2016

• Add more tests

  ivogabe

  committed
  f8a1827

• Remove redundant bindFlowMarker calls

  ivogabe

  committed
  7cceb0c

• Fix tests

  ivogabe

  committed
  bea32e2

• Accept baseline

  ivogabe

  committed
  a659239

• Merge remote-tracking branch 'Microsoft/master' into guards

  ivogabe

  committed
  9e13d0f

• Update tests

  ivogabe

  committed
  3490979

Commits on Mar 22, 2016

• Merge remote-tracking branch 'Microsoft/master' into guards

  Show description for a719858
  ivogabe

  committed
  a719858

Commits on Mar 23, 2016

• Implement flow based type guards for this expression and dotted names

  ivogabe

  committed
  90a678d

• Fix unresolved symbols, wrong caching and empty type issues

  ivogabe

  committed
  7646af1

• Accept new baselines

  ivogabe

  committed
  4a76fe2

• Stop narrowing of dotted name after assignment of parent type

  ivogabe

  committed
  16555dd