Code

Add match type#4964

Code

Merged

odersky merged 49 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:add-matchtypedotty-staging/dotty:add-matchtypeCopy head branch name to clipboard

Sep 20, 2018

Commits

Commits on Sep 6, 2018

• Add MatchType as a type form

  Show description for 9ef3898
  odersky

  committed
  9ef3898

  Copy full SHA for 9ef3898

• Represent literals used as types with SingletonTypeTrees

  Show description for 1c17274
  odersky

  committed
  1c17274

  Copy full SHA for 1c17274

• Syntax, parsing, and type-checking of match types

  odersky

  committed
  24a2f73

  Copy full SHA for 24a2f73

• Fix unpickling of match types

  odersky

  committed
  6d472f5

  Copy full SHA for 6d472f5

• Blacklist match type fromtasty test

  Show description for 0877a36
  odersky

  committed
  0877a36

  Copy full SHA for 0877a36

• Classify type defs with matches as RHS as abstract

  Show description for bd8b3cd
  odersky

  committed
  bd8b3cd

  Copy full SHA for bd8b3cd

• Implement subtyping for match types

  odersky

  committed
  993c40c

  Copy full SHA for 993c40c

• Cache match reduce results

  odersky

  committed
  151a37c

  Copy full SHA for 151a37c

• Cache results of attempts to reduce match types

  odersky

  committed
  ffac30e

  Copy full SHA for ffac30e

• Use a special type for match aliases

  Show description for e2d8bc3
  odersky

  committed
  e2d8bc3

  Copy full SHA for e2d8bc3

• Applications of erased functions are always pure

  Show description for b261ff7
  odersky

  committed
  b261ff7

  Copy full SHA for b261ff7

• Allow user-defined error diagnostics when rewriting

  Show description for a144c35
  odersky

  committed
  a144c35

  Copy full SHA for a144c35

• Fix two issues when comparing match types

  odersky

  committed
  5147d32

  Copy full SHA for 5147d32

• MatchType reorg

  Show description for fb5c554
  odersky

  committed
  fb5c554

  Copy full SHA for fb5c554

• Typelevel natural numbers

  Show description for 400495f
  odersky

  committed
  400495f

  Copy full SHA for 400495f

• Reduce matches on creation

  odersky

  committed
  3d3d595

  Copy full SHA for 3d3d595

• Handle MatchTypeTrees in ExtractAPI

  Show description for 38312e0
  odersky

  committed
  38312e0

  Copy full SHA for 38312e0

• Refine matchtype reduction caching

  odersky

  committed
  a9f9ced

  Copy full SHA for a9f9ced

• Coarser variance checking for match types

  Show description for 2408b54
  odersky

  committed
  2408b54

  Copy full SHA for 2408b54

• Add constValue function

  Show description for 7a51259
  odersky

  committed
  7a51259

  Copy full SHA for 7a51259

• Add NonEmptyTuple abstract class

  Show description for dc669a6
  odersky

  committed
  dc669a6

  Copy full SHA for dc669a6

• More precise derivesFrom for MatchTypes

  Show description for d924ef1
  odersky

  committed
  d924ef1

  Copy full SHA for d924ef1

• Base Tuple computations on types

  Show description for 0d4a118
  odersky

  committed
  0d4a118

  Copy full SHA for 0d4a118

• Make MatchTypes value types

  Show description for 189973b
  odersky

  committed
  189973b

  Copy full SHA for 189973b

• Fix inlining of parameters of singleton type

  odersky

  committed
  8307685

  Copy full SHA for 8307685

• Test tuples2 needs to run with -Yno-deep-subtypes

  odersky

  committed
  8219a83

  Copy full SHA for 8219a83

• Add constValueOpt method

  Show description for 56759c8
  odersky

  committed
  56759c8

  Copy full SHA for 56759c8

• Fix unpickling of match type aliases

  odersky

  committed
  45fbf3e

  Copy full SHA for 45fbf3e

• Survive bottom values in pattern matches

  Show description for e41bf9a
  odersky

  committed
  e41bf9a

  Copy full SHA for e41bf9a

• Report rewrite errors at outermost rewrite call

  odersky

  committed
  2d83885

  Copy full SHA for 2d83885

• Harden Tuple operations against wrong inputs

  odersky

  committed
  b53bf1e

  Copy full SHA for b53bf1e

• Reduce sizes of tuples of tuples2.scala

  Show description for 71fbc15
  odersky

  committed
  71fbc15

  Copy full SHA for 71fbc15

• Allow additional arguments for typelevel.error

  odersky

  committed
  2d76382

  Copy full SHA for 2d76382

• GenericSignatures needs to consult erasedToObject

  Show description for 10f2acb
  odersky

  committed
  10f2acb

  Copy full SHA for 10f2acb

• Properly erase NonEmptyTuple

  odersky

  committed
  03f5c4e

  Copy full SHA for 03f5c4e

• Make Tuple types covariant

  odersky

  committed
  3657799

  Copy full SHA for 3657799

• Allow generic tuple operations to be dynamic

  Show description for d53b3fa
  odersky

  committed
  d53b3fa

  Copy full SHA for d53b3fa

• Equate TupleN(...) and *: types

  Show description for a7ea105
  odersky

  committed
  a7ea105

  Copy full SHA for a7ea105

Commits on Sep 8, 2018

• Description and informal spec for match types

  Show description for 9897d22
  odersky

  committed
  9897d22

  Copy full SHA for 9897d22

• Fix typo

  odersky

  committed
  7a0c31f

  Copy full SHA for 7a0c31f

Commits on Sep 10, 2018

• Add related work section to match-types.md

  odersky

  committed
  0ca095f

  Copy full SHA for 0ca095f

• Fix matchtype termination

  Show description for 194d85d
  odersky

  committed
  194d85d

  Copy full SHA for 194d85d

Commits on Sep 12, 2018

• Fix `Elem` method for sizes > 23

  Show description for c7ee07c
  odersky

  committed
  c7ee07c

  Copy full SHA for c7ee07c

• Print max constraint under -Ydetailed-stats

  odersky

  committed
  00de2f8

  Copy full SHA for 00de2f8

• Normalize when simplifying

  Show description for c51a2c0
  odersky

  committed
  c51a2c0

  Copy full SHA for c51a2c0

• Propagate bound into nested match types

  odersky

  committed
  16d1856

  Copy full SHA for 16d1856

• Match cases in parallel

  Show description for 536c350
  odersky

  committed
  536c350

  Copy full SHA for 536c350

Commits on Sep 13, 2018

• Update rules on match term/type checking

  Show description for 5a8ac63
  odersky

  committed
  5a8ac63

  Copy full SHA for 5a8ac63

• Go back to reducing match types sequentially

  Show description for 7b548db
  odersky

  committed
  7b548db

  Copy full SHA for 7b548db