Code

Applied types, unoptimized#3061

Code

Merged

odersky merged 111 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:test-applied-typedotty-staging/dotty:test-applied-typeCopy head branch name to clipboard

Sep 21, 2017

Commits

Commits on Sep 20, 2017

• Introduce AppliedType

  Show description for 8fa29ad
  odersky

  committed
  8fa29ad

  Copy full SHA for 8fa29ad

• Adapt operations in Types

  Show description for 7be50a6
  odersky

  committed
  7be50a6

  Copy full SHA for 7be50a6

• Move givenSelfType to ClassSymbol

  Show description for 2ec644b
  odersky

  committed
  2ec644b

  Copy full SHA for 2ec644b

• Handle AppliedTypes

  Show description for b219c74
  odersky

  committed
  b219c74

  Copy full SHA for b219c74

• Introduce TypeArgRef

  Show description for 6a63549
  odersky

  committed
  6a63549

  Copy full SHA for 6a63549

• Various fixes

  odersky

  committed
  4b64c00

  Copy full SHA for 4b64c00

• More fixes

  odersky

  committed
  76d1194

  Copy full SHA for 76d1194

• Fix stray brace

  odersky

  committed
  cf491ff

  Copy full SHA for cf491ff

• Fix typing of _* arguments

  odersky

  committed
  08ff2b2

  Copy full SHA for 08ff2b2

• Fix rebase breakage

  odersky

  committed
  b17f5de

  Copy full SHA for b17f5de

• Fix debug output to make it more stable

  Show description for 9b59150
  odersky

  committed
  9b59150

  Copy full SHA for 9b59150

• Fix Stackoverflow in asSeenFrom

  Show description for c3daec5
  odersky

  committed
  c3daec5

  Copy full SHA for c3daec5

• Make newScheme non-final

  Show description for 4a6df0e
  odersky

  committed
  4a6df0e

  Copy full SHA for 4a6df0e

• Partially revert change in TypeApplications#Reducer

  odersky

  committed
  0228613

  Copy full SHA for 0228613

• Use atVariance for new cases in TypeMaps and TypeAccumulators

  odersky

  committed
  c65c10a

  Copy full SHA for c65c10a

• Fix bounds propagation

  Show description for 83fb812
  odersky

  committed
  83fb812

  Copy full SHA for 83fb812

• Fix variance in avoidParams

  Show description for 6c5106e
  odersky

  committed
  6c5106e

  Copy full SHA for 6c5106e

• Fix isSubArg

  Show description for 965a8e4
  odersky

  committed
  965a8e4

  Copy full SHA for 965a8e4

• Avoid infinite expansion in normaizeWildcardArgs

  odersky

  committed
  d947614

  Copy full SHA for d947614

• Handle parameters from base classes of package objects

  Show description for abde37e
  odersky

  committed
  abde37e

  Copy full SHA for abde37e

• More fixes

  odersky

  committed
  ef086ce

  Copy full SHA for ef086ce

• Fix #536 again

  Show description for 357e2ae
  odersky

  committed
  357e2ae

  Copy full SHA for 357e2ae

• Adapt ClassTypeParamCreationFlags to new scheme

  Show description for f9520cb
  odersky

  committed
  f9520cb

  Copy full SHA for f9520cb

• Fix TypeArgRef and argForParam

  Show description for 842ac4b
  odersky

  committed
  842ac4b

  Copy full SHA for 842ac4b

• Add capture conversion

  Show description for baf6bf5
  odersky

  committed
  baf6bf5

  Copy full SHA for baf6bf5

• Fix ExpandSAMs

  Show description for 90fd77f
  odersky

  committed
  90fd77f

  Copy full SHA for 90fd77f

• Fix implicit scope computation

  odersky

  committed
  0e4a3ea

  Copy full SHA for 0e4a3ea

• Refine typeMismatchMsg

  Show description for d71dc4b
  odersky

  committed
  d71dc4b

  Copy full SHA for d71dc4b

• Generalize argForParam

  Show description for 850e5d9
  odersky

  committed
  850e5d9

  Copy full SHA for 850e5d9

• Check that class type parameters are only referenced via their this-types

  Show description for 584eaef
  odersky

  committed
  584eaef

  Copy full SHA for 584eaef

• Check that class type parameters are only referenced via their this-types

  Show description for dcec2da
  odersky

  committed
  dcec2da

  Copy full SHA for dcec2da

• Fix illegal select in VCInlineMethods

  Show description for 588f1dc
  odersky

  committed
  588f1dc

  Copy full SHA for 588f1dc

• Fix classBound

  Show description for 596fa17
  odersky

  committed
  596fa17

  Copy full SHA for 596fa17

• Fix t8280

  Show description for 5bfa153
  odersky

  committed
  5bfa153

  Copy full SHA for 5bfa153

• Adapt flip in Applications to new scheme

  Show description for b9f3084
  odersky

  committed
  b9f3084

  Copy full SHA for b9f3084

• Fix type of outer accessor

  Show description for 756238e
  odersky

  committed
  756238e

  Copy full SHA for 756238e

• Fix computation of implicit scope

  Show description for 471e62b
  odersky

  committed
  471e62b

  Copy full SHA for 471e62b

• Fix problem in isSubArg

  Show description for 2b10447
  odersky

  committed
  2b10447

  Copy full SHA for 2b10447

• Fix instantiatability checking

  Show description for 27dbeef
  odersky

  committed
  27dbeef

  Copy full SHA for 27dbeef

• Adapt tpd.ClassDef and tpd.AnonClass to new scheme

  odersky

  committed
  a3d96f1

  Copy full SHA for a3d96f1

• Change capture conversion

  Show description for 0a27a7f
  odersky

  committed
  0a27a7f

  Copy full SHA for 0a27a7f

• Fix variances for wildcard arguments in TypeMaps and TypeAccumulators

  Show description for 891022b
  odersky

  committed
  891022b

  Copy full SHA for 891022b

• Avoid cyclic reference in normalizeWildcardArgs

  odersky

  committed
  52dd131

  Copy full SHA for 52dd131

• Fix SuperAccessors

  Show description for 51e67d1
  odersky

  committed
  51e67d1

  Copy full SHA for 51e67d1

• Fix possible hole in constraint handling

  Show description for 9f3b5a5
  odersky

  committed
  9f3b5a5

  Copy full SHA for 9f3b5a5

• Fix

  odersky

  committed
  536c597

  Copy full SHA for 536c597

• Fix printing of TypeBounds

  Show description for c4def34
  odersky

  committed
  c4def34

  Copy full SHA for c4def34

• Refine Space#refine to handle AppliedTypes

  Show description for 6a02717
  odersky

  committed
  6a02717

  Copy full SHA for 6a02717

• Fix implicit selection for views

  Show description for 2da0049
  odersky

  committed
  2da0049

  Copy full SHA for 2da0049

• Fix sigName for AppliedType

  odersky

  committed
  9063347

  Copy full SHA for 9063347

• Handle Java raw types in isSubType

  Show description for b0a2aa2
  odersky

  committed
  b0a2aa2

  Copy full SHA for b0a2aa2

• Don't check variances when comparing type lambdas in Scala2 mode

  Show description for 36b1550
  odersky

  committed
  36b1550

  Copy full SHA for 36b1550

• Don't try to simplify & / | types written as types

  Show description for dcd8fd3
  odersky

  committed
  dcd8fd3

  Copy full SHA for dcd8fd3

• Hash-cons applied types in their own table

  odersky

  committed
  59ce28f

  Copy full SHA for 59ce28f

• Make ParamRefs unique types.

  Show description for 60d7b85
  odersky

  committed
  60d7b85

  Copy full SHA for 60d7b85

• Refine statistics

  Show description for bec92d1
  odersky

  committed
  bec92d1

  Copy full SHA for bec92d1

• Make ParamRefs unique types.

  Show description for f92b5fc
  odersky

  committed
  f92b5fc

  Copy full SHA for f92b5fc

• Make bound types be uniquely created by their binders

  Show description for 184ff81
  odersky

  committed
  184ff81

  Copy full SHA for 184ff81

• More detailed stats

  Show description for 5a2c35d
  odersky

  committed
  5a2c35d

  Copy full SHA for 5a2c35d

• Fix base type computation

  Show description for 4b34d68
  odersky

  committed
  4b34d68

  Copy full SHA for 4b34d68

• Fix tests

  Show description for 25b9bb0
  odersky

  committed
  25b9bb0

  Copy full SHA for 25b9bb0

• Temporarily disable pattern-matching exhaustivity tests

  Show description for 1daca6c
  odersky

  committed
  1daca6c

  Copy full SHA for 1daca6c

• Temporarily weaken double definition check

  Show description for 26a327d
  odersky

  committed
  26a327d

  Copy full SHA for 26a327d

• Temporarily existentials test to pending

  Show description for 95720b0
  odersky

  committed
  95720b0

  Copy full SHA for 95720b0

• Ensure type correctness of repeated arguments

  Show description for 3c4b6bd
  odersky

  committed
  3c4b6bd

  Copy full SHA for 3c4b6bd

• Update "good bounds" checks

  Show description for 41d6d9e
  odersky

  committed
  41d6d9e

  Copy full SHA for 41d6d9e

• Exclude mixin forwarders from double definition checks

  Show description for 88953fa
  odersky

  committed
  88953fa

  Copy full SHA for 88953fa

• Adapt superclass inference to new scheme

  Show description for 77077a5
  odersky

  committed
  77077a5

  Copy full SHA for 77077a5

• Avoid inifinite loop when comparing & types with class types

  Show description for 89d9ef9
  odersky

  committed
  89d9ef9

  Copy full SHA for 89d9ef9

• Fix rebase breakage

  odersky

  committed
  6f49cfd

  Copy full SHA for 6f49cfd

• Handle TypeArgRefs in UserfacingPrinter

  odersky

  committed
  e631f38

  Copy full SHA for e631f38

• Fix imports and add explanations in Space

  odersky

  committed
  c3d44d7

  Copy full SHA for c3d44d7

• Eliminate Config switches

  Show description for 812373f
  odersky

  committed
  812373f

  Copy full SHA for 812373f

• Get rid of parentRefs and associated operations

  odersky

  committed
  adde88e

  Copy full SHA for adde88e

• Re-normalize parents methods

  Show description for 0b4c35c
  odersky

  committed
  0b4c35c

  Copy full SHA for 0b4c35c

• Fix rebase breakage, drop old UserfacingPrinter

  odersky

  committed
  f65162b

  Copy full SHA for f65162b

• Use adaptHkVariances when comparing type arguments

  Show description for 99f6bf2
  odersky

  committed
  99f6bf2

  Copy full SHA for 99f6bf2

• Re-apply change to printing TypeArgRefs in UserfacingPrinter

  odersky

  committed
  0db4ed4

  Copy full SHA for 0db4ed4

• Fix script check file

  Show description for 0fd92da
  odersky

  committed
  0fd92da

  Copy full SHA for 0fd92da

• Drop HKApply

  odersky

  committed
  871a178

  Copy full SHA for 871a178

• Make baseTypeOf more robust

  Show description for cdb34e5
  odersky

  committed
  cdb34e5

  Copy full SHA for cdb34e5

• Drop uniqueRefinedType and uniqueTypeAlias

  Show description for babc490
  odersky

  committed
  babc490

  Copy full SHA for babc490

• Drop variance in TypeAlias

  odersky

  committed
  a78c26f

  Copy full SHA for a78c26f

• Fix equals for TypeAlias

  odersky

  committed
  f4d0942

  Copy full SHA for f4d0942

• Adapt homogenizeArgs to new scheme

  Show description for b665f13
  odersky

  committed
  b665f13

  Copy full SHA for b665f13

• Drop AnyAppliedType

  odersky

  committed
  e3c3dda

  Copy full SHA for e3c3dda

• Fix printing of infix types

  Show description for 80ce8d2
  odersky

  committed
  80ce8d2

  Copy full SHA for 80ce8d2

• Drop TypeParamAccessor

  Show description for 7de2c12
  odersky

  committed
  7de2c12

  Copy full SHA for 7de2c12

• Drop BaseTypeArg flag

  Show description for 9c28187
  odersky

  committed
  9c28187

  Copy full SHA for 9c28187

• Drop withoutArgs

  odersky

  committed
  476e952

  Copy full SHA for 476e952

• Drop ClassDenotation.appliedRef and ClassInfo.typeRef

  Show description for 77a09c7
  odersky

  committed
  77a09c7

  Copy full SHA for 77a09c7

• Reorder and clean up erasure and sigName

  odersky

  committed
  5dd8846

  Copy full SHA for 5dd8846

• More cleanups and removals of now redundant code

  odersky

  committed
  636e30e

  Copy full SHA for 636e30e

• Better implementation of mapArgs

  odersky

  committed
  0a5dfe9

  Copy full SHA for 0a5dfe9

• Specialize hash-consing of WithFixedSym types

  odersky

  committed
  975a29b

  Copy full SHA for 975a29b

• Avoid creating unnecessary new lists in mapArgs

  odersky

  committed
  db28f49

  Copy full SHA for db28f49

• Drop unused RefType and ClassRef

  odersky

  committed
  7cf4637

  Copy full SHA for 7cf4637

• Remove unused code

  odersky

  committed
  eddc4a4

  Copy full SHA for eddc4a4

• Reverted: Refine Space#refine to handle AppliedTypes

  Show description for 417ca7e
  odersky

  committed
  417ca7e

  Copy full SHA for 417ca7e

• Disable exhaustivity test

  odersky

  committed
  8456b37

  Copy full SHA for 8456b37

• fix #3015: use type inference to type child classes

  

  liufengyun

  authored and

  odersky

  committed
  826f14e

  Copy full SHA for 826f14e

• make exhaustivity check work on native apply

  

  liufengyun

  authored and

  odersky

  committed
  196b008

  Copy full SHA for 196b008

• address review

  

  liufengyun

  authored and

  odersky

  committed
  0de8041

  Copy full SHA for 0de8041

• Address reviewers comments

  Show description for ad04a98
  odersky

  committed
  ad04a98

  Copy full SHA for ad04a98

• Eliminate some redundant code

  Show description for a0b6910
  odersky

  committed
  a0b6910

  Copy full SHA for a0b6910

• Address other reviewer comments

  odersky

  committed
  acb6165

  Copy full SHA for acb6165

• Make hkResult work for curried type lambdas

  Show description for 48a2ab3
  odersky

  committed
  48a2ab3

  Copy full SHA for 48a2ab3

• Adapt reduction of applications to new scheme

  Show description for fe470c4
  odersky

  committed
  fe470c4

  Copy full SHA for fe470c4

• Fix test

  odersky

  committed
  22440f3

  Copy full SHA for 22440f3

• Avoid returning stale symbols from NamedType#symbol

  Show description for d2b7080
  odersky

  committed
  d2b7080

  Copy full SHA for d2b7080

• Fix stale symbol avoidance

  odersky

  committed
  2e65bd5

  Copy full SHA for 2e65bd5