Code

Nullability Analysis#7520

Code

Closed

odersky wants to merge 35 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:add-flow-analysisdotty-staging/dotty:add-flow-analysisCopy head branch name to clipboard

Commits

Commits on Nov 13, 2019

• Thread context through typedStats

  odersky

  committed
  6e271a7

  Copy full SHA for 6e271a7

• Nullability prototype

  odersky

  committed
  435024a

  Copy full SHA for 435024a

• Add extractor for comparisons of null and a path

  Show description for 06f72db
  odersky

  committed
  06f72db

  Copy full SHA for 06f72db

• Generalize expression purity

  Show description for d904a3c
  odersky

  committed
  d904a3c

  Copy full SHA for d904a3c

• Simplify more if-expressions in FirstTransform

  Show description for 6a7c740
  odersky

  committed
  6a7c740

  Copy full SHA for 6a7c740

• Maintain constant types of applications in TimeTravellingTreeCopier

  Show description for e96e027
  odersky

  committed
  e96e027

  Copy full SHA for e96e027

• Constant fold null tests

  Show description for d1981f8
  odersky

  committed
  d1981f8

  Copy full SHA for d1981f8

• Fix handling of negation for nullability

  odersky

  committed
  16cc066

  Copy full SHA for 16cc066

• Skip also Inlined nodes with skipBlock

  odersky

  committed
  a38574c

  Copy full SHA for a38574c

• Always compute nullable info unless ersedTypes

  Show description for 1910c87
  odersky

  committed
  1910c87

  Copy full SHA for 1910c87

• Recompute nullability info when inlining

  odersky

  committed
  a691e96

  Copy full SHA for a691e96

• Tweak assert so that nullability info is propagated correctly

  odersky

  committed
  691996a

  Copy full SHA for 691996a

• Exclude nullable.scala from pickling and fromTasy tests

  Show description for 94d05a4
  odersky

  committed
  94d05a4

  Copy full SHA for 94d05a4

• Disable sjsJUnitTests

  Show description for 27c92a9
  odersky

  committed
  27c92a9

  Copy full SHA for 27c92a9

• Move null comparison extractors into Nullables

  odersky

  committed
  cb6ff0c

  Copy full SHA for cb6ff0c

• Track nullability in pattern matches

  odersky

  committed
  0d2a0f0

  Copy full SHA for 0d2a0f0

• Polishings

  odersky

  committed
  b20cae8

  Copy full SHA for b20cae8

• Allow retracting a not null status

  Show description for 2d5007c
  odersky

  committed
  2d5007c

  Copy full SHA for 2d5007c

• Nullables refactorings

  odersky

  committed
  10896a1

  Copy full SHA for 10896a1

• Account for side effects in conditions

  Show description for 5b46483
  odersky

  committed
  5b46483

  Copy full SHA for 5b46483

• Track assignments for nullability

  odersky

  committed
  5cb0873

  Copy full SHA for 5cb0873

• Allow local variables to be tracked for nullability

  odersky

  committed
  6d5ed25

  Copy full SHA for 6d5ed25

• Drop debug output

  odersky

  committed
  74d5b1e

  Copy full SHA for 74d5b1e

• Constant fold null comparisons only under -Yexplicit-nulls

  odersky

  committed
  f1e2863

  Copy full SHA for f1e2863

• Handle while expressions correctly for nullability

  odersky

  committed
  ed00d96

  Copy full SHA for ed00d96

• Don't widen T | Null in widenUnion

  odersky

  committed
  926b08e

  Copy full SHA for 926b08e

• Introduce NotNull type

  Show description for 947c49e
  odersky

  committed
  947c49e

  Copy full SHA for 947c49e

• Simplify in widenRHS

  Show description for 62b756b
  odersky

  committed
  62b756b

  Copy full SHA for 62b756b

• Special treatment of NotNull in TypeComparer

  Show description for e6746e5
  odersky

  committed
  e6746e5

  Copy full SHA for e6746e5

• Temporary hack to support testing

  Show description for f32f22a
  odersky

  committed
  f32f22a

  Copy full SHA for f32f22a

• Test case

  Show description for e79dc49
  odersky

  committed
  e79dc49

  Copy full SHA for e79dc49

• Blacklist notNull as from Tasty test

  Show description for e56743b
  odersky

  committed
  e56743b

  Copy full SHA for e56743b

• Revert "Disable sjsJUnitTests"

  Show description for 84c0fdf
  odersky

  committed
  84c0fdf

  Copy full SHA for 84c0fdf

• Address review suggestions

  Show description for b32e30a
  odersky

  committed
  b32e30a

  Copy full SHA for b32e30a

Commits on Nov 14, 2019

• Add notNull member to Any

  Show description for 1726660
  odersky

  committed
  1726660

  Copy full SHA for 1726660