Code

Non-nullable types#7140

Code

Merged

ahejlsberg merged 65 commits intomastermicrosoft/TypeScript:masterfrom strictNullChecksmicrosoft/TypeScript:strictNullChecksCopy head branch name to clipboardMar 21, 2016

+1,261-980

Commits

Commits on Feb 15, 2016

• Introduce -strictNullChecks compiler option

  ahejlsberg

  committed
  26cc99b

  Copy full SHA for 26cc99b

• Parsing of nullable types

  ahejlsberg

  committed
  8e92603

  Copy full SHA for 8e92603

• Use TypeFlags.Undefined for both undefined and null types

  ahejlsberg

  committed
  26e371d

  Copy full SHA for 26e371d

• Make undefined and null assignable to each other

  ahejlsberg

  committed
  98b6a5a

  Copy full SHA for 98b6a5a

• Accepting new baselines

  ahejlsberg

  committed
  e79df80

  Copy full SHA for e79df80

• Introduce nullable types in checker

  ahejlsberg

  committed
  6d6d2a1

  Copy full SHA for 6d6d2a1

• Display support for nullable types

  ahejlsberg

  committed
  f08f606

  Copy full SHA for f08f606

• Don't widen undefined types in unions

  ahejlsberg

  committed
  fa36ff8

  Copy full SHA for fa36ff8

• Support nullable types with expression operators

  ahejlsberg

  committed
  0d3005b

  Copy full SHA for 0d3005b

• Ensure empty array literal is assignable to array of non-null type in strict null mode

  ahejlsberg

  committed
  09fa3e5

  Copy full SHA for 09fa3e5

Commits on Feb 16, 2016

• Make types of optional parameters and properties nullable

  ahejlsberg

  committed
  41401c7

  Copy full SHA for 41401c7

• Exclude undefined/null from flags propagation within union types

  ahejlsberg

  committed
  586c3ac

  Copy full SHA for 586c3ac

• Add truthy/falsey guards for nullable types

  ahejlsberg

  committed
  bf89530

  Copy full SHA for bf89530

• Add missing semicolon

  ahejlsberg

  committed
  bd12f1b

  Copy full SHA for bd12f1b

Commits on Feb 18, 2016

• Add '!' non-null assertion postfix operator

  ahejlsberg

  committed
  1f096bd

  Copy full SHA for 1f096bd

• Disallow line breaks between operand and '!' non-null assertion operator

  ahejlsberg

  committed
  46837fd

  Copy full SHA for 46837fd

• Accepting new baselines

  ahejlsberg

  committed
  54ee0b1

  Copy full SHA for 54ee0b1

• Correct && operator to produce nullable values

  ahejlsberg

  committed
  1e8a7e2

  Copy full SHA for 1e8a7e2

Commits on Feb 19, 2016

• Merge branch 'master' into strictNullChecks

  Show description for 44d7897
  ahejlsberg

  committed
  44d7897

  Copy full SHA for 44d7897

• Support x == null and x != null in non-null guards. Also, allow == and != in type guards.

  ahejlsberg

  committed
  50ea0bf

  Copy full SHA for 50ea0bf

• Accepting new baselines

  ahejlsberg

  committed
  d10017f

  Copy full SHA for d10017f

Commits on Feb 20, 2016

• Suport both x != null and x != undefined in non-null type guards

  ahejlsberg

  committed
  ed40fbf

  Copy full SHA for ed40fbf

• Merge branch 'master' into strictNullChecks

  ahejlsberg

  committed
  74d8c40

  Copy full SHA for 74d8c40

Commits on Feb 21, 2016

• Merge branch 'master' into strictNullChecks

  ahejlsberg

  committed
  5e5381d

  Copy full SHA for 5e5381d

Commits on Feb 27, 2016

• Support dotted names ("x.y.z") in type guards

  ahejlsberg

  committed
  3d7631d

  Copy full SHA for 3d7631d

Commits on Feb 28, 2016

• Fix getTypeOfSymbolAtLocation to handle hypothetical lookups

  ahejlsberg

  committed
  82169ce

  Copy full SHA for 82169ce

• Accepting new baselines

  ahejlsberg

  committed
  7dd59ce

  Copy full SHA for 7dd59ce

• Fix linting error

  ahejlsberg

  committed
  ea35932

  Copy full SHA for ea35932

Commits on Mar 3, 2016

• Assigned-before-use checking for non-nullable variables

  ahejlsberg

  committed
  33e3825

  Copy full SHA for 33e3825

• Allow 'null' and 'undefined' as type names

  ahejlsberg

  committed
  ea4b13b

  Copy full SHA for ea4b13b

• Fix unit test

  ahejlsberg

  committed
  ed95811

  Copy full SHA for ed95811

• Accepting new baselines

  ahejlsberg

  committed
  04c28b0

  Copy full SHA for 04c28b0

Commits on Mar 4, 2016

• Reinstate separate type kinds for 'null' and 'undefined'

  ahejlsberg

  committed
  87ae048

  Copy full SHA for 87ae048

• No widening of 'null' and 'undefined' types in --strictNullChecks mode

  ahejlsberg

  committed
  c623e1f

  Copy full SHA for c623e1f

• Accepting new baselines

  ahejlsberg

  committed
  1302418

  Copy full SHA for 1302418

• Consider for-in and for-of variables to be definitely assigned

  ahejlsberg

  committed
  d6fcd1a

  Copy full SHA for d6fcd1a

• Extract and lift nullability over best common supertype

  ahejlsberg

  committed
  15b2405

  Copy full SHA for 15b2405

• Removing unused functions

  ahejlsberg

  committed
  25a72d6

  Copy full SHA for 25a72d6

Commits on Mar 5, 2016

• Introduce comparable (a.k.a. possibly assignable) relation

  ahejlsberg

  committed
  64f5727

  Copy full SHA for 64f5727

• Accepting new baselines

  ahejlsberg

  committed
  436e70e

  Copy full SHA for 436e70e

• Add only 'undefined' to optional parameter types

  ahejlsberg

  committed
  a0790fb

  Copy full SHA for a0790fb

• Fix bugs in reduceLeft and reduceRight

  ahejlsberg

  committed
  eed4093

  Copy full SHA for eed4093

• Include 'undefined' in return type for implicit or expressionless returns

  ahejlsberg

  committed
  2762772

  Copy full SHA for 2762772

• Remove unused variable

  ahejlsberg

  committed
  097f456

  Copy full SHA for 097f456

• Keep linter happy with fix in reduceLeft/reduceRight

  ahejlsberg

  committed
  689e28d

  Copy full SHA for 689e28d

• Proper handling of 'null' and 'undefined' in equals and not equals guards

  ahejlsberg

  committed
  8db7af0

  Copy full SHA for 8db7af0

• Treat 'return' as 'return undefined' for type checking purposes

  ahejlsberg

  committed
  d0e4b4a

  Copy full SHA for d0e4b4a

Commits on Mar 6, 2016

• Check return type includes 'undefined' in function with implicit return

  ahejlsberg

  committed
  129a4f1

  Copy full SHA for 129a4f1

• Improve type relationship error reporting for nullable types

  ahejlsberg

  committed
  50d874e

  Copy full SHA for 50d874e

• Make 'undefined' assignable to 'void'

  ahejlsberg

  committed
  0a25bb5

  Copy full SHA for 0a25bb5

Commits on Mar 7, 2016

• Fix issue with narrowing exported variables

  ahejlsberg

  committed
  187eaae

  Copy full SHA for 187eaae

Commits on Mar 8, 2016

• Adding another check for undefined

  ahejlsberg

  committed
  fbda0bd

  Copy full SHA for fbda0bd

• Accepting new baselines

  ahejlsberg

  committed
  868e53d

  Copy full SHA for 868e53d

Commits on Mar 9, 2016

• Merge branch 'master' into strictNullChecks

  Show description for cf9e08b
  ahejlsberg

  committed
  cf9e08b

  Copy full SHA for cf9e08b

Commits on Mar 10, 2016

• Better error message + fix assignment analysis of 'switch' statement

  ahejlsberg

  committed
  796613c

  Copy full SHA for 796613c

• Support 'this' in type guards

  ahejlsberg

  committed
  dad0564

  Copy full SHA for dad0564

• Accepting new baselines

  ahejlsberg

  committed
  6772c34

  Copy full SHA for 6772c34

• Fix linting error

  ahejlsberg

  committed
  9c58875

  Copy full SHA for 9c58875

• Add 'undefined' to type of parameter with default value in signature

  ahejlsberg

  committed
  4c641c4

  Copy full SHA for 4c641c4

• Remove 'undefined' from type of binding element with non-undefined default value

  ahejlsberg

  committed
  f774ecf

  Copy full SHA for f774ecf

Commits on Mar 14, 2016

• Removing 'T?' type notation (use 'T | null | undefined' instead)

  ahejlsberg

  committed
  b1bef15

  Copy full SHA for b1bef15

• Remove 'T?' notation from type-to-string conversion

  ahejlsberg

  committed
  09ad9c5

  Copy full SHA for 09ad9c5

• Merge branch 'master' into strictNullChecks

  ahejlsberg

  committed
  b497243

  Copy full SHA for b497243

Commits on Mar 21, 2016

• Merge branch 'master' into strictNullChecks

  Show description for 413d9a6
  ahejlsberg

  committed
  413d9a6

  Copy full SHA for 413d9a6

• Accepting new baselines

  ahejlsberg

  committed
  fb6255a

  Copy full SHA for fb6255a