Code

Native applied types#3033

Code

Closed

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

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

Commits

Commits on Sep 4, 2017

• Introduce AppliedType

  Show description for 44aae03
  odersky

  committed
  44aae03

  Copy full SHA for 44aae03

• Adapt operations in Types

  Show description for 5a34071
  odersky

  committed
  5a34071

  Copy full SHA for 5a34071

• Move givenSelfType to ClassSymbol

  Show description for 2eeef2e
  odersky

  committed
  2eeef2e

  Copy full SHA for 2eeef2e

• Handle AppliedTypes

  Show description for ab87816
  odersky

  committed
  ab87816

  Copy full SHA for ab87816

• Introduce TypeArgRef

  Show description for b779514
  odersky

  committed
  b779514

  Copy full SHA for b779514

• Various fixes

  odersky

  committed
  87506ad

  Copy full SHA for 87506ad

• More fixes

  odersky

  committed
  102bfdc

  Copy full SHA for 102bfdc

• Fix stray brace

  odersky

  committed
  c2c5bce

  Copy full SHA for c2c5bce

• Fix typing of _* arguments

  odersky

  committed
  bdd72bd

  Copy full SHA for bdd72bd

• Fix rebase breakage

  odersky

  committed
  7747ad1

  Copy full SHA for 7747ad1

• Fix debug output to make it more stable

  Show description for a273d37
  odersky

  committed
  a273d37

  Copy full SHA for a273d37

• Fix Stackoverflow in asSeenFrom

  Show description for 1be4904
  odersky

  committed
  1be4904

  Copy full SHA for 1be4904

• Make newScheme non-final

  Show description for a8762ce
  odersky

  committed
  a8762ce

  Copy full SHA for a8762ce

• Partially revert change in TypeApplications#Reducer

  odersky

  committed
  4837f94

  Copy full SHA for 4837f94

• Use atVariance for new cases in TypeMaps and TypeAccumulators

  odersky

  committed
  71f93a6

  Copy full SHA for 71f93a6

• Fix bounds propagation

  Show description for 67724ba
  odersky

  committed
  67724ba

  Copy full SHA for 67724ba

• Fix variance in avoidParams

  Show description for 4857f1b
  odersky

  committed
  4857f1b

  Copy full SHA for 4857f1b

• Fix isSubArg

  Show description for 5331b1c
  odersky

  committed
  5331b1c

  Copy full SHA for 5331b1c

• Avoid infinite expansion in normaizeWildcardArgs

  odersky

  committed
  946942b

  Copy full SHA for 946942b

• Handle parameters from base classes of package objects

  Show description for 81f28c6
  odersky

  committed
  81f28c6

  Copy full SHA for 81f28c6

• More fixes

  odersky

  committed
  25d0752

  Copy full SHA for 25d0752

• Fix #536 again

  Show description for 0edead7
  odersky

  committed
  0edead7

  Copy full SHA for 0edead7

• Adapt ClassTypeParamCreationFlags to new scheme

  Show description for f034fbb
  odersky

  committed
  f034fbb

  Copy full SHA for f034fbb

• Fix TypeArgRef and argForParam

  Show description for a5512b4
  odersky

  committed
  a5512b4

  Copy full SHA for a5512b4

• Add capture conversion

  Show description for 6fdbc03
  odersky

  committed
  6fdbc03

  Copy full SHA for 6fdbc03

• Fix ExpandSAMs

  Show description for 36c4d3c
  odersky

  committed
  36c4d3c

  Copy full SHA for 36c4d3c

• Fix implicit scope computation

  odersky

  committed
  002eb53

  Copy full SHA for 002eb53

• Refine typeMismatchMsg

  Show description for ab93593
  odersky

  committed
  ab93593

  Copy full SHA for ab93593

• Generalize argForParam

  Show description for 6a84827
  odersky

  committed
  6a84827

  Copy full SHA for 6a84827

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

  Show description for 1ffba89
  odersky

  committed
  1ffba89

  Copy full SHA for 1ffba89

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

  Show description for 77bfc57
  odersky

  committed
  77bfc57

  Copy full SHA for 77bfc57

• Fix illegal select in VCInlineMethods

  Show description for 987ea23
  odersky

  committed
  987ea23

  Copy full SHA for 987ea23

• Fix classBound

  Show description for 6691f5c
  odersky

  committed
  6691f5c

  Copy full SHA for 6691f5c

• Fix t8280

  Show description for 9331807
  odersky

  committed
  9331807

  Copy full SHA for 9331807

• Adapt flip in Applications to new scheme

  Show description for 21886ed
  odersky

  committed
  21886ed

  Copy full SHA for 21886ed

• Fix type of outer accessor

  Show description for e3489a6
  odersky

  committed
  e3489a6

  Copy full SHA for e3489a6

• Fix computation of implicit scope

  Show description for a362c9a
  odersky

  committed
  a362c9a

  Copy full SHA for a362c9a

• Fix problem in isSubArg

  Show description for 03f1f3d
  odersky

  committed
  03f1f3d

  Copy full SHA for 03f1f3d

• Fix instantiatability checking

  Show description for 159edb0
  odersky

  committed
  159edb0

  Copy full SHA for 159edb0

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

  odersky

  committed
  2388ac0

  Copy full SHA for 2388ac0

• Change capture conversion

  Show description for 394159e
  odersky

  committed
  394159e

  Copy full SHA for 394159e

• Fix variances for wildcard arguments in TypeMaps and TypeAccumulators

  Show description for 4bfc1eb
  odersky

  committed
  4bfc1eb

  Copy full SHA for 4bfc1eb

• Avoid cyclic reference in normalizeWildcardArgs

  odersky

  committed
  55c6784

  Copy full SHA for 55c6784

• Fix SuperAccessors

  Show description for 24389ff
  odersky

  committed
  24389ff

  Copy full SHA for 24389ff

• Fix possible hole in constraint handling

  Show description for d7eb9bd
  odersky

  committed
  d7eb9bd

  Copy full SHA for d7eb9bd

• Fix

  odersky

  committed
  280d400

  Copy full SHA for 280d400

• Fix printing of TypeBounds

  Show description for 615b1a2
  odersky

  committed
  615b1a2

  Copy full SHA for 615b1a2

• Refine Space#refine to handle AppliedTypes

  Show description for 86f6784
  odersky

  committed
  86f6784

  Copy full SHA for 86f6784

• Fix implicit selection for views

  Show description for 074ad5a
  odersky

  committed
  074ad5a

  Copy full SHA for 074ad5a

• Fix sigName for AppliedType

  odersky

  committed
  7392bb1

  Copy full SHA for 7392bb1

• Handle Java raw types in isSubType

  Show description for da10965
  odersky

  committed
  da10965

  Copy full SHA for da10965

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

  Show description for ad27c84
  odersky

  committed
  ad27c84

  Copy full SHA for ad27c84

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

  Show description for a431472
  odersky

  committed
  a431472

  Copy full SHA for a431472

• Hash-cons applied types in their own table

  odersky

  committed
  6e5454b

  Copy full SHA for 6e5454b

• Make ParamRefs unique types.

  Show description for 45db4c4
  odersky

  committed
  45db4c4

  Copy full SHA for 45db4c4

• Refine statistics

  Show description for ff882cc
  odersky

  committed
  ff882cc

  Copy full SHA for ff882cc

• Make ParamRefs unique types.

  Show description for f4456d8
  odersky

  committed
  f4456d8

  Copy full SHA for f4456d8

• Make bound types be uniquely created by their binders

  Show description for 60af052
  odersky

  committed
  60af052

  Copy full SHA for 60af052

• More detailed stats

  Show description for 9abfb58
  odersky

  committed
  9abfb58

  Copy full SHA for 9abfb58

• Fix base type computation

  Show description for 3ef0f7b
  odersky

  committed
  3ef0f7b

  Copy full SHA for 3ef0f7b

• Fix tests

  Show description for ab99dd0
  odersky

  committed
  ab99dd0

  Copy full SHA for ab99dd0

• Temporarily disable pattern-matching exhaustivity tests

  Show description for c21c05e
  odersky

  committed
  c21c05e

  Copy full SHA for c21c05e

• Temporarily weaken double definition check

  Show description for c4daf0a
  odersky

  committed
  c4daf0a

  Copy full SHA for c4daf0a

• Temporarily existentials test to pending

  Show description for c2066e3
  odersky

  committed
  c2066e3

  Copy full SHA for c2066e3

• Ensure type correctness of repeated arguments

  Show description for c1edae6
  odersky

  committed
  c1edae6

  Copy full SHA for c1edae6

• Update "good bounds" checks

  Show description for 4fd1d44
  odersky

  committed
  4fd1d44

  Copy full SHA for 4fd1d44

• Exclude mixin forwarders from double definition checks

  Show description for 193dc7a
  odersky

  committed
  193dc7a

  Copy full SHA for 193dc7a

• Adapt superclass inference to new scheme

  Show description for bfcd599
  odersky

  committed
  bfcd599

  Copy full SHA for bfcd599

• Avoid inifinite loop when comparing & types with class types

  Show description for db6e631
  odersky

  committed
  db6e631

  Copy full SHA for db6e631

• Fix rebase breakage

  odersky

  committed
  f53f2ff

  Copy full SHA for f53f2ff

• Handle TypeArgRefs in UserfacingPrinter

  odersky

  committed
  84de2ee

  Copy full SHA for 84de2ee

• Fix imports and add explanations in Space

  odersky

  committed
  a5eafdd

  Copy full SHA for a5eafdd

• Eliminate Config switches

  Show description for 35c7a0d
  odersky

  committed
  35c7a0d

  Copy full SHA for 35c7a0d

• Get rid of parentRefs and associated operations

  odersky

  committed
  20a4a78

  Copy full SHA for 20a4a78

• Re-normalize parents methods

  Show description for bb842ca
  odersky

  committed
  bb842ca

  Copy full SHA for bb842ca

• Fix rebase breakage, drop old UserfacingPrinter

  odersky

  committed
  d984f0b

  Copy full SHA for d984f0b

• Use adaptHkVariances when comparing type arguments

  Show description for 833d911
  odersky

  committed
  833d911

  Copy full SHA for 833d911

• Re-apply change to printing TypeArgRefs in UserfacingPrinter

  odersky

  committed
  dce68e6

  Copy full SHA for dce68e6

• Fix script check file

  Show description for a87d3db
  odersky

  committed
  a87d3db

  Copy full SHA for a87d3db

• Drop HKApply

  odersky

  committed
  356e8f6

  Copy full SHA for 356e8f6

• Make baseTypeOf more robust

  Show description for 0a80a7a
  odersky

  committed
  0a80a7a

  Copy full SHA for 0a80a7a

• Drop uniqueRefinedType and uniqueTypeAlias

  Show description for a344cab
  odersky

  committed
  a344cab

  Copy full SHA for a344cab

• Drop variance in TypeAlias

  odersky

  committed
  5227478

  Copy full SHA for 5227478

• Fix equals for TypeAlias

  odersky

  committed
  2e6de77

  Copy full SHA for 2e6de77

• Adapt homogenizeArgs to new scheme

  Show description for 9f41699
  odersky

  committed
  9f41699

  Copy full SHA for 9f41699

• Drop AnyAppliedType

  odersky

  committed
  fd1943d

  Copy full SHA for fd1943d

• Fix printing of infix types

  Show description for 19e6fbb
  odersky

  committed
  19e6fbb

  Copy full SHA for 19e6fbb

• Drop TypeParamAccessor

  Show description for d259aa9
  odersky

  committed
  d259aa9

  Copy full SHA for d259aa9

• Drop BaseTypeArg flag

  Show description for f3535b5
  odersky

  committed
  f3535b5

  Copy full SHA for f3535b5

• Drop withoutArgs

  odersky

  committed
  e38885e

  Copy full SHA for e38885e

• Drop ClassDenotation.appliedRef and ClassInfo.typeRef

  Show description for f2f2571
  odersky

  committed
  f2f2571

  Copy full SHA for f2f2571

• Reorder and clean up erasure and sigName

  odersky

  committed
  695b56f

  Copy full SHA for 695b56f

• More cleanups and removals of now redundant code

  odersky

  committed
  eeb1e86

  Copy full SHA for eeb1e86

• Better implementation of mapArgs

  odersky

  committed
  df1c3c2

  Copy full SHA for df1c3c2

• Specialize hash-consing of WithFixedSym types

  odersky

  committed
  9dfdeec

  Copy full SHA for 9dfdeec

• Avoid creating unnecessary new lists in mapArgs

  odersky

  committed
  d92e3e6

  Copy full SHA for d92e3e6

• Rework substituters

  Show description for fb82b09
  odersky

  committed
  fb82b09

  Copy full SHA for fb82b09

• Some further optimizations on Substituters

  Show description for fc83c24
  odersky

  committed
  fc83c24

  Copy full SHA for fc83c24

• Optimize asSeenFrom for applied types

  Show description for 3034f59
  odersky

  committed
  3034f59

  Copy full SHA for 3034f59

• More detailed stats

  Show description for 1e6572d
  odersky

  committed
  1e6572d

  Copy full SHA for 1e6572d

• Optimize wildApprox for applied types

  odersky

  committed
  7204538

  Copy full SHA for 7204538

• Optimize simplify for applied types

  odersky

  committed
  393d91f

  Copy full SHA for 393d91f

• Reverted: Refine Space#refine to handle AppliedTypes

  Show description for 9af7324
  odersky

  committed
  9af7324

  Copy full SHA for 9af7324

• Fix test

  Show description for 922b379
  odersky

  committed
  922b379

  Copy full SHA for 922b379

• Some polishings

  odersky

  committed
  a7ec349

  Copy full SHA for a7ec349