Code

Dotty with explicit nulls#6344

Code

Closed

abeln wants to merge 75 commits intoscala:masterscala/scala3:masterfrom

abeln:dotty-explicit-nullsabeln/dotty:dotty-explicit-nullsCopy head branch name to clipboard

Commits

Commits on Sep 11, 2019

• Add an explicit nulls mode to Dotty

  Show description for 1c5679b
  

  abeln

  authored and

  noti0na1

  committed
  1c5679b

  Copy full SHA for 1c5679b

Commits on Sep 19, 2019

• remove ValDefInBlockCompleter

  noti0na1

  committed
  07d1882

  Copy full SHA for 07d1882

Commits on Sep 20, 2019

• add comments

  noti0na1

  committed
  9912940

  Copy full SHA for 9912940

Commits on Sep 23, 2019

• remove implicit check for ValDef

  noti0na1

  committed
  36aca35

  Copy full SHA for 36aca35

Commits on Sep 24, 2019

• refine comments

  noti0na1

  committed
  46c3e16

  Copy full SHA for 46c3e16

Commits on Sep 25, 2019

• modify flow typing for all defs

  noti0na1

  committed
  e43963b

  Copy full SHA for e43963b

Commits on Sep 26, 2019

• fix flow typing when forward referred

  noti0na1

  committed
  4f9a437

  Copy full SHA for 4f9a437

Commits on Sep 27, 2019

• adjust tests; add comments

  noti0na1

  committed
  19c5e40

  Copy full SHA for 19c5e40

• Handle Java arguments with 'Object' type in override checks

  abeln

  committed
  b3c85e3

  Copy full SHA for b3c85e3

• Add test for unboxed option type

  abeln

  committed
  3f2e8d1

  Copy full SHA for 3f2e8d1

• Merge branch 'master' into dotty-explicit-nulls

  abeln

  committed
  e2588b7

  Copy full SHA for e2588b7

• Use flatMap in opaque option test

  abeln

  committed
  4fd2085

  Copy full SHA for 4fd2085

• refine comments

  noti0na1

  committed
  a56557f

  Copy full SHA for a56557f

• Merge pull request #26 from noti0na1/dotty-explicit-nulls

  Show description for 0a54fe6
  noti0na1

  authored
  0a54fe6

  Copy full SHA for 0a54fe6

• Small changes according to comments

  noti0na1

  committed
  902dc4a

  Copy full SHA for 902dc4a

Commits on Sep 30, 2019

• cache flow facts on trees

  noti0na1

  committed
  1168856

  Copy full SHA for 1168856

Commits on Oct 1, 2019

• move FlowFactsOnTree to Typer; refine comments

  noti0na1

  committed
  2d5d784

  Copy full SHA for 2d5d784

Commits on Oct 2, 2019

• move maybeNull

  noti0na1

  committed
  f72f201

  Copy full SHA for f72f201

• rename to maybeNullable

  noti0na1

  committed
  de5241b

  Copy full SHA for de5241b

• Merge pull request #27 from noti0na1/dotty-explicit-nulls-small

  Show description for 8e900f1
  noti0na1

  authored
  8e900f1

  Copy full SHA for 8e900f1

Commits on Oct 7, 2019

• Handle Java varargs during nullification

  Show description for 92b6c5c
  abeln

  committed
  92b6c5c

  Copy full SHA for 92b6c5c

• modify methods in NullOpsDecorator

  noti0na1

  committed
  feb11b0

  Copy full SHA for feb11b0

• rename and adjust methods

  noti0na1

  committed
  0000c28

  Copy full SHA for 0000c28

• update nullnull test

  noti0na1

  committed
  aabb4e1

  Copy full SHA for aabb4e1

• simplify the result of normNullableUnion

  noti0na1

  committed
  712e2ca

  Copy full SHA for 712e2ca

• remove extra space

  noti0na1

  committed
  55db452

  Copy full SHA for 55db452

• optimize widenUnion

  noti0na1

  committed
  9595870

  Copy full SHA for 9595870

• rewrite widenUnion

  noti0na1

  committed
  7663fc2

  Copy full SHA for 7663fc2

Commits on Oct 8, 2019

• further simplify widenUnion

  noti0na1

  committed
  53a88cd

  Copy full SHA for 53a88cd

• add comment

  noti0na1

  committed
  fdea080

  Copy full SHA for fdea080

• Merge pull request #28 from noti0na1/dotty-explicit-nulls-ops

  Show description for 19925a5
  noti0na1

  authored
  19925a5

  Copy full SHA for 19925a5

Commits on Oct 9, 2019

• inline policies in JavaNullInterop

  noti0na1

  committed
  f9ca273

  Copy full SHA for f9ca273

• remove extra braces

  noti0na1

  committed
  92095a2

  Copy full SHA for 92095a2

• combine two type mapper

  noti0na1

  committed
  0b35a43

  Copy full SHA for 0b35a43

• remove toJavaNullableUnion

  noti0na1

  committed
  c7396db

  Copy full SHA for c7396db

• add a helper for OrType(tp, JavaNull)

  noti0na1

  committed
  28552f5

  Copy full SHA for 28552f5

• Merge pull request #29 from noti0na1/dotty-explicit-nulls-small

  Show description for d4df9e7
  noti0na1

  authored
  d4df9e7

  Copy full SHA for d4df9e7

Commits on Oct 11, 2019

• null is not allowed to be thrown; small edit to the code style

  noti0na1

  committed
  e2c47d7

  Copy full SHA for e2c47d7

• change type eq test in isNullSpace

  noti0na1

  committed
  ec880ad

  Copy full SHA for ec880ad

Commits on Oct 15, 2019

• edit comment

  noti0na1

  committed
  513890d

  Copy full SHA for 513890d

Commits on Oct 17, 2019

• update comment on flags

  noti0na1

  committed
  6c898c7

  Copy full SHA for 6c898c7

• Merge pull request #30 from noti0na1/dotty-explicit-nulls-small

  Show description for fa43361
  noti0na1

  authored
  fa43361

  Copy full SHA for fa43361

• Merge remote-tracking branch 'upstream/master' into dotty-explicit-nulls

  noti0na1

  committed
  919f5c6

  Copy full SHA for 919f5c6

• Merge pull request #31 from noti0na1/dotty-explicit-nulls

  Show description for 74e1ede
  abeln

  authored
  74e1ede

  Copy full SHA for 74e1ede

• revert change to throwMethod; clean up if-else

  noti0na1

  committed
  6b25d48

  Copy full SHA for 6b25d48

Commits on Oct 18, 2019

• Merge pull request #32 from noti0na1/dotty-explicit-nulls

  Show description for 70b5df0
  noti0na1

  authored
  70b5df0

  Copy full SHA for 70b5df0

• add notnull detect

  noti0na1

  committed
  6e92146

  Copy full SHA for 6e92146

Commits on Oct 21, 2019

• fix cyclicref

  noti0na1

  committed
  9b6846e

  Copy full SHA for 9b6846e

Commits on Oct 22, 2019

• Merge remote-tracking branch 'upstream/master' into dotty-explicit-nulls-small

  noti0na1

  committed
  e0bc5d3

  Copy full SHA for e0bc5d3

• change NotNull string list to ClassSymbol list

  noti0na1

  committed
  cbb876c

  Copy full SHA for cbb876c

• ensure NotNull works for fields

  noti0na1

  committed
  750dd50

  Copy full SHA for 750dd50

Commits on Oct 23, 2019

• Merge pull request #34 from noti0na1/dotty-explicit-nulls-small

  Show description for 183d237
  abeln

  authored
  183d237

  Copy full SHA for 183d237

• Merge remote-tracking branch 'explicit-nulls/dotty-explicit-nulls' into dotty-explicit-nulls

  noti0na1

  committed
  0cbfa6b

  Copy full SHA for 0cbfa6b

• Optimize JavaNullInterop; add tests for Java files; remove dummy notnull annotation

  noti0na1

  committed
  c960acf

  Copy full SHA for c960acf

Commits on Oct 24, 2019

• rename variables

  noti0na1

  committed
  b0acf92

  Copy full SHA for b0acf92

• add generic tests

  noti0na1

  committed
  9365e1b

  Copy full SHA for 9365e1b

Commits on Oct 25, 2019

• fix typos and indents

  noti0na1

  committed
  ca62bf9

  Copy full SHA for ca62bf9

• remove redundent comment

  noti0na1

  committed
  a49d4c3

  Copy full SHA for a49d4c3

• update comments

  noti0na1

  committed
  8481c2a

  Copy full SHA for 8481c2a

Commits on Oct 28, 2019

• update comments and var names

  noti0na1

  committed
  ae4253a

  Copy full SHA for ae4253a

• Merge pull request #33 from noti0na1/dotty-explicit-nulls

  Show description for ad9ae9b
  noti0na1

  authored
  ad9ae9b

  Copy full SHA for ad9ae9b

• merge dotty upstream

  noti0na1

  committed
  9913410

  Copy full SHA for 9913410

Commits on Oct 29, 2019

• Merge pull request #35 from noti0na1/dotty-explicit-nulls

  Show description for 313057c
  abeln

  authored
  313057c

  Copy full SHA for 313057c

Commits on Oct 31, 2019

• fix nullifying type arguements

  noti0na1

  committed
  3a1d17c

  Copy full SHA for 3a1d17c

• fix indent

  noti0na1

  committed
  303d2de

  Copy full SHA for 303d2de

Commits on Nov 4, 2019

• fix typo in the test

  noti0na1

  committed
  9d77d64

  Copy full SHA for 9d77d64

• Merge pull request #37 from noti0na1/dotty-explicit-nulls

  Show description for cd623d4
  noti0na1

  authored
  cd623d4

  Copy full SHA for cd623d4

• merge upstream changes

  noti0na1

  committed
  54eca3c

  Copy full SHA for 54eca3c

• fix syntax error

  noti0na1

  committed
  8c195dc

  Copy full SHA for 8c195dc

• Merge pull request #38 from noti0na1/dotty-explicit-nulls

  Show description for 946a7a9
  abeln

  authored
  946a7a9

  Copy full SHA for 946a7a9

Commits on Nov 6, 2019

• change the way of creating ClassSymbol; add neg test for annotation

  noti0na1

  committed
  856ba31

  Copy full SHA for 856ba31

Commits on Nov 7, 2019

• update comments

  noti0na1

  committed
  4cd1114

  Copy full SHA for 4cd1114

• Merge pull request #41 from noti0na1/dotty-explicit-nulls

  Show description for 4a8b754
  noti0na1

  authored
  4a8b754

  Copy full SHA for 4a8b754

• Merge remote-tracking branch 'upstream/master' into dotty-explicit-nulls

  noti0na1

  committed
  6d6d2ec

  Copy full SHA for 6d6d2ec

• Merge pull request #42 from noti0na1/dotty-explicit-nulls

  Show description for 944f91d
  abeln

  authored
  944f91d

  Copy full SHA for 944f91d