Code

[WIP] Scala with Explicit Nulls#5747

Code

Closed

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

abeln:explicit-nullabeln/dotty:explicit-nullCopy head branch name to clipboard

Commits

Commits on Jan 15, 2019

• Make Null a subtype of only Any and AnyRef

  Show description for c576680
  abeln

  committed
  c576680

  Copy full SHA for c576680

• Automatically replace "null" by "???" in positive tests

  Show description for 2a22e7a
  abeln

  committed
  2a22e7a

  Copy full SHA for 2a22e7a

• Change typing of "throw" expressions to allow a nullable argument

  Show description for b5afd26
  abeln

  committed
  b5afd26

  Copy full SHA for b5afd26

• Revert improperly modified test

  abeln

  committed
  3eb3874

  Copy full SHA for 3eb3874

• Addititional automated conversion of null to ???

  Show description for fbfbd4f
  abeln

  committed
  fbfbd4f

  Copy full SHA for fbfbd4f

• Fix additional positive tests

  abeln

  committed
  8ebd3eb

  Copy full SHA for 8ebd3eb

• Revert incorrect change to backend interface

  Show description for 73ffa5d
  abeln

  committed
  73ffa5d

  Copy full SHA for 73ffa5d

• Implement Java nullability transform

  Show description for edc6320
  abeln

  committed
  edc6320

  Copy full SHA for edc6320

• Refactor tests and add new source test

  abeln

  committed
  e4ee72c

  Copy full SHA for e4ee72c

• Add JavaNull type

  Show description for dc9601d
  abeln

  committed
  dc9601d

  Copy full SHA for dc9601d

• Nullify applied types too

  abeln

  committed
  1217b9b

  Copy full SHA for 1217b9b

• Handle JavaNull when converting varargs

  Show description for 16e4af8
  abeln

  committed
  16e4af8

  Copy full SHA for 16e4af8

• Use helper methods when typing Select trees

  abeln

  committed
  1f99138

  Copy full SHA for 1f99138

• Better implementation of member selection for JavaNull

  Show description for 01300e0
  abeln

  committed
  01300e0

  Copy full SHA for 01300e0

• Teach FirstTransform that |JavaNull is see-through

  Show description for 5701392
  abeln

  committed
  5701392

  Copy full SHA for 5701392

• Improve nullability transform

  Show description for f6d116b
  abeln

  committed
  f6d116b

  Copy full SHA for f6d116b

• Pass empty string instead of null in dummy constructor

  Show description for eda351b
  abeln

  committed
  eda351b

  Copy full SHA for eda351b

• Moar easy test fixes

  abeln

  committed
  8ffaea3

  Copy full SHA for 8ffaea3

• Make reference types nullable again after erasure

  Show description for e0d46d9
  abeln

  committed
  e0d46d9

  Copy full SHA for e0d46d9

• Fix #5067: Ycheck failure in pattern matching against a value of type `Nothing`

  Show description for 8c83873
  abeln

  committed
  8c83873

  Copy full SHA for 8c83873

• Breakup test suite into smaller tests

  abeln

  committed
  9ee807c

  Copy full SHA for 9ee807c

• Handle constructors properly in nullability transform

  Show description for 3f8d949
  abeln

  committed
  3f8d949

  Copy full SHA for 3f8d949

• Better check for whether we're before erasure

  abeln

  committed
  b048428

  Copy full SHA for b048428

• Add test for nullifying methods

  abeln

  committed
  9491c16

  Copy full SHA for 9491c16

• Don't nullify the inside of Class[] and the special TYPE field

  abeln

  committed
  270960c

  Copy full SHA for 270960c

• Fix a couple of failing tests

  abeln

  committed
  2b4a7d6

  Copy full SHA for 2b4a7d6

• Fix two more tests

  abeln

  committed
  9a86c34

  Copy full SHA for 9a86c34

• Handle repeated parameters

  abeln

  committed
  9f4a6d4

  Copy full SHA for 9f4a6d4

• Fix another test

  abeln

  committed
  c1df4c7

  Copy full SHA for c1df4c7

• Don't nullify the return type of toString

  abeln

  committed
  02cefbc

  Copy full SHA for 02cefbc

• Add two explicit null tests

  abeln

  committed
  09ea9a1

  Copy full SHA for 09ea9a1

• Fix tests/pos/annotations2.scala

  abeln

  committed
  ed13029

  Copy full SHA for ed13029

• Fix tests/pos/tcpoly_seq.scala

  abeln

  committed
  4c4cce7

  Copy full SHA for 4c4cce7

• Add mechanism to except fields/methods from the transform

  abeln

  committed
  b23a3e6

  Copy full SHA for b23a3e6

• Fix tests/pos/t4579.scala

  abeln

  committed
  d0ca905

  Copy full SHA for d0ca905

• Fix tests/pos/extractors.scala

  abeln

  committed
  406dcb3

  Copy full SHA for 406dcb3

• Fix tests/pos/Meter.scala and tests/pos/extmethods.scala

  abeln

  committed
  266e92f

  Copy full SHA for 266e92f

• Factor out java nullability transform into its own file

  abeln

  committed
  786038d

  Copy full SHA for 786038d

• Fixed tests/pos/explicitOuter.scala

  abeln

  committed
  528dce0

  Copy full SHA for 528dce0

• Fix tests/pos/i2732.scala

  abeln

  committed
  10e1454

  Copy full SHA for 10e1454

• Revert changes to equality

  Show description for 31e9bc3
  abeln

  committed
  31e9bc3

  Copy full SHA for 31e9bc3

• Fix tests/pos/i1754.scala

  abeln

  committed
  c8a95af

  Copy full SHA for c8a95af

• Fix tests/pos/virtpatmat_gadt_array.scala

  abeln

  committed
  66b7801

  Copy full SHA for 66b7801

• Fix tests/pos/t1001.scala

  abeln

  committed
  04764fc

  Copy full SHA for 04764fc

• Fix some more tests

  abeln

  committed
  ef6cf46

  Copy full SHA for ef6cf46

• Fix two more tests

  abeln

  committed
  53bdbc4

  Copy full SHA for 53bdbc4

• Fix tests/pos/i1044.scala

  abeln

  committed
  2c4e991

  Copy full SHA for 2c4e991

• Allow prototypes of the form T|Null to be used for type inference

  abeln

  committed
  06caedd

  Copy full SHA for 06caedd

• Improve naming of nullability convenience functions

  abeln

  committed
  b62eef1

  Copy full SHA for b62eef1

• Fix positive tests

  abeln

  committed
  24a06b9

  Copy full SHA for 24a06b9

• Fix moar tests

  abeln

  committed
  f4c3695

  Copy full SHA for f4c3695

• Better prototypes for function literals

  Show description for f1cce5a
  abeln

  committed
  f1cce5a

  Copy full SHA for f1cce5a

• Don't propagate nullability inside Java generics

  abeln

  committed
  456191a

  Copy full SHA for 456191a

• Don't widen union types of the form `T|Null`

  Show description for b384d2c
  abeln

  committed
  b384d2c

  Copy full SHA for b384d2c

• Fix broken test

  abeln

  committed
  a6cd806

  Copy full SHA for a6cd806

• Fix tests

  abeln

  committed
  1a7ad57

  Copy full SHA for 1a7ad57

• Better handling of SAM types and nullability

  Show description for 6239966
  abeln

  committed
  6239966

  Copy full SHA for 6239966

• Ignore nulls when doing override checks

  Show description for 26714fe
  abeln

  committed
  26714fe

  Copy full SHA for 26714fe

• Take 2 at ignoring JavaNull in override checks

  Show description for 3b9ecd3
  abeln

  committed
  3b9ecd3

  Copy full SHA for 3b9ecd3

• Add additional case to override test

  abeln

  committed
  02f8bd4

  Copy full SHA for 02f8bd4

• Add .nn extension method to strip away nullability

  abeln

  committed
  b0dc6b1

  Copy full SHA for b0dc6b1

• Strip away JavaNull during implicit conversion search

  Show description for 78556d7
  abeln

  committed
  78556d7

  Copy full SHA for 78556d7

• Fix a few tests

  abeln

  committed
  89b920b

  Copy full SHA for 89b920b

• Moar tests

  abeln

  committed
  ccdba0e

  Copy full SHA for ccdba0e

• Don't use null literal in parser error terms

  abeln

  committed
  cae4ef5

  Copy full SHA for cae4ef5

• A few more

  abeln

  committed
  17b26ae

  Copy full SHA for 17b26ae

• Fix tests

  abeln

  committed
  822522a

  Copy full SHA for 822522a

• One more

  abeln

  committed
  887d4c0

  Copy full SHA for 887d4c0

• Make it clear that we disallow comparing null against value types

  abeln

  committed
  47b51c0

  Copy full SHA for 47b51c0

• 3 more tests

  abeln

  committed
  1fa226c

  Copy full SHA for 1fa226c

• Test that we can call .nn on a non-null type

  abeln

  committed
  f611bf4

  Copy full SHA for f611bf4

• Fix lots of tests

  abeln

  committed
  eb47a28

  Copy full SHA for eb47a28

• A couple more tests

  abeln

  committed
  47196c4

  Copy full SHA for 47196c4

• [WIP] Flow-sensitive type inference for nullability

  abeln

  committed
  d0adc48

  Copy full SHA for d0adc48

• Add basic test for flow inference

  Show description for d027135
  abeln

  committed
  d027135

  Copy full SHA for d027135

• Better flow-sensitive type inference

  Show description for 7d1c3ba
  abeln

  committed
  7d1c3ba

  Copy full SHA for 7d1c3ba

• Add flow inference inside boolean conditions

  Show description for 1aa0a1b
  abeln

  committed
  1aa0a1b

  Copy full SHA for 1aa0a1b

• Add test case using unary neg

  abeln

  committed
  380ed44

  Copy full SHA for 380ed44

• Fix rebase errors

  abeln

  committed
  03539f4

  Copy full SHA for 03539f4

• Don't generate fallback Eq in Null case

  Show description for 3d8af6a
  abeln

  committed
  3d8af6a

  Copy full SHA for 3d8af6a

• Fix a few tests

  abeln

  committed
  e258fb1

  Copy full SHA for e258fb1

• Fix a bunch of tests

  abeln

  committed
  d47f825

  Copy full SHA for d47f825

• More robust id of JavaNull alias

  abeln

  committed
  140e528

  Copy full SHA for 140e528

• fix tests

  abeln

  committed
  96f9af4

  Copy full SHA for 96f9af4

• Teach space checks that reference types are non-nullable

  abeln

  committed
  2266821

  Copy full SHA for 2266821

• fix tests

  abeln

  committed
  198c631

  Copy full SHA for 198c631

• When collecting nullable fields, use old notion of nullability

  Show description for 1e0407a
  abeln

  committed
  1e0407a

  Copy full SHA for 1e0407a

• fix tests

  abeln

  committed
  94770ae

  Copy full SHA for 94770ae

• fix test

  abeln

  committed
  5899029

  Copy full SHA for 5899029

• fix tests

  abeln

  committed
  6f9ba24

  Copy full SHA for 6f9ba24

• fix tests

  abeln

  committed
  a047492

  Copy full SHA for a047492

• fix tests

  abeln

  committed
  03435d5

  Copy full SHA for 03435d5

• fix test

  abeln

  committed
  6ef2d32

  Copy full SHA for 6ef2d32

• Make .nn throw a NPE if the underlying value is null

  abeln

  committed
  5ab29f1

  Copy full SHA for 5ab29f1

• fix test

  abeln

  committed
  774e481

  Copy full SHA for 774e481

• Add implicit conversions for nullable arrays

  abeln

  committed
  b89a54f

  Copy full SHA for b89a54f

• fix tests

  abeln

  committed
  62a3c47

  Copy full SHA for 62a3c47

• fix tests

  abeln

  committed
  ed25729

  Copy full SHA for ed25729

• fix test

  abeln

  committed
  fedb587

  Copy full SHA for fedb587

• fix test

  abeln

  committed
  00c893e

  Copy full SHA for 00c893e

• Better handling of SAM types

  Show description for c9d51f7
  abeln

  committed
  c9d51f7

  Copy full SHA for c9d51f7

• add comment

  abeln

  committed
  48fef33

  Copy full SHA for 48fef33

• Add implicit conversions from nullable array

  abeln

  committed
  69811e5

  Copy full SHA for 69811e5

• Fix bugs introduced when adding support for repeated params

  Show description for 64146a7
  abeln

  committed
  64146a7

  Copy full SHA for 64146a7

• fix test

  abeln

  committed
  486dda4

  Copy full SHA for 486dda4

• fix test

  abeln

  committed
  039259f

  Copy full SHA for 039259f

• Fix bug when expanding SAM types

  Show description for 6755bbd
  abeln

  committed
  6755bbd

  Copy full SHA for 6755bbd

• fix tests

  abeln

  committed
  42b49a4

  Copy full SHA for 42b49a4

• fix tests

  abeln

  committed
  e4e66df

  Copy full SHA for e4e66df

• fix typo

  abeln

  committed
  f5fcaa0

  Copy full SHA for f5fcaa0

• Make Null a subtype of Any, instead of AnyRef

  Show description for 8bd7899
  abeln

  committed
  8bd7899

  Copy full SHA for 8bd7899

• Revert changes to overriding

  Show description for 67c72ff
  abeln

  committed
  67c72ff

  Copy full SHA for 67c72ff

• Handle intersections in Java null transform

  Show description for 253c36a
  abeln

  committed
  253c36a

  Copy full SHA for 253c36a

• Fix tests

  abeln

  committed
  246f70b

  Copy full SHA for 246f70b

• Fix array tests to use implicit conversions

  abeln

  committed
  320e38a

  Copy full SHA for 320e38a

• More robust handling of union types in JavaNull transform

  abeln

  committed
  5b01205

  Copy full SHA for 5b01205

• Add test exercising array conversions

  abeln

  committed
  fa9e5d8

  Copy full SHA for fa9e5d8

• Fixes for PR

  abeln

  committed
  c06bcc9

  Copy full SHA for c06bcc9

• Add correctness proof to flow inference

  abeln

  committed
  830e97b

  Copy full SHA for 830e97b

• Fix typo

  abeln

  committed
  96021ef

  Copy full SHA for 96021ef

• PR fixes

  abeln

  committed
  6e75ea8

  Copy full SHA for 6e75ea8

Commits on Jan 17, 2019

• Add test

  abeln

  committed
  ee321cf

  Copy full SHA for ee321cf

Commits on Jan 18, 2019

• Move null erasure to better location

  abeln

  committed
  ab6934d

  Copy full SHA for ab6934d

• Comments and style fixes

  abeln

  committed
  fcbdf0f

  Copy full SHA for fcbdf0f

• More polish

  abeln

  committed
  ff2be5c

  Copy full SHA for ff2be5c

Commits on Jan 22, 2019

• Modified test

  

  petrpan26

  authored and

  abeln

  committed
  8823c43

  Copy full SHA for 8823c43

• Expand flow sensitive inference

  Show description for fc56d9e
  abeln

  committed
  fc56d9e

  Copy full SHA for fc56d9e