Code

Change typeapply#994

Code

Merged

odersky merged 41 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:change-typeapplydotty-staging/dotty:change-typeapplyCopy head branch name to clipboard

Dec 15, 2015

Commits

Commits on Dec 6, 2015

• Drop requirement that an isRef type cannot be refined.

  Show description for cf79403
  odersky

  committed
  cf79403

  Copy full SHA for cf79403

• Don't count partial applications as applications.

  odersky

  committed
  4c8db87

  Copy full SHA for 4c8db87

• Disallow existentially bound parameters as type parameters

  Show description for df00eb1
  odersky

  committed
  df00eb1

  Copy full SHA for df00eb1

• Change hk naming scheme

  odersky

  committed
  0fde4b4

  Copy full SHA for 0fde4b4

• Add missing type params in test

  odersky

  committed
  f89b562

  Copy full SHA for f89b562

• Extractors and other new functionality for type applications

  odersky

  committed
  7eeb565

  Copy full SHA for 7eeb565

• Use typeapp extractors for printing

  odersky

  committed
  e63f058

  Copy full SHA for e63f058

• Fix adaptIfHK and drop rawTypeParams

  odersky

  committed
  e14be2d

  Copy full SHA for e14be2d

• Drop redundant check in beta reduce

  odersky

  committed
  67d2833

  Copy full SHA for 67d2833

• Use new adaptArgs for Scala2Unpickler

  Show description for 2abcd02
  odersky

  committed
  2abcd02

  Copy full SHA for 2abcd02

• More uses of adaptIfHK

  Show description for 73bf06b
  odersky

  committed
  73bf06b

  Copy full SHA for 73bf06b

• Base Application extractor on classSymbols

  Show description for 91a865c
  odersky

  committed
  91a865c

  Copy full SHA for 91a865c

• Fix problem with printing lambdas.

  Show description for 261087a
  odersky

  committed
  261087a

  Copy full SHA for 261087a

• Don't recognize type bounds as lambda abstractions

  Show description for 56e63ed
  odersky

  committed
  56e63ed

  Copy full SHA for 56e63ed

• Fix bug computing typeParams for hk types

  Show description for 05c0e55
  odersky

  committed
  05c0e55

  Copy full SHA for 05c0e55

• Fix bug computing typeParams for hk types

  Show description for 8db7a9b
  odersky

  committed
  8db7a9b

  Copy full SHA for 8db7a9b

• Fix to TypeLambda over with a TypeBounds body

  Show description for 130c24c
  odersky

  committed
  130c24c

  Copy full SHA for 130c24c

• Fixes to TypeLambda and EtaExpansion extractors.

  Show description for 1fe3310
  odersky

  committed
  1fe3310

  Copy full SHA for 1fe3310

• Fully type annotate Printers

  Show description for 8cd50f7
  odersky

  committed
  8cd50f7

  Copy full SHA for 8cd50f7

• Better diagnostics for applyOverloaded.

  odersky

  committed
  dec21f5

  Copy full SHA for dec21f5

• Switch to new hk scheme.

  odersky

  committed
  f8d82c2

  Copy full SHA for f8d82c2

• Reset constraint when one of several implicit arguments is not found.

  odersky

  committed
  d186a33

  Copy full SHA for d186a33

• Fix printing of type lambdas

  odersky

  committed
  56dd29d

  Copy full SHA for 56dd29d

• Allow for F-bounded bounds in TypeLambda

  odersky

  committed
  6519309

  Copy full SHA for 6519309

• Be DRY betweeen EtaExpand and LambdaAbstract

  Show description for 50d2652
  odersky

  committed
  50d2652

  Copy full SHA for 50d2652

• Avoid false positives when extracting AppliedType

  odersky

  committed
  f6d1153

  Copy full SHA for f6d1153

• Fix tasty test failures

  Show description for 378b96f
  odersky

  committed
  378b96f

  Copy full SHA for 378b96f

• Move failing test to pending

  Show description for b8c6e73
  odersky

  committed
  b8c6e73

  Copy full SHA for b8c6e73

• Code and documentation cleanups

  odersky

  committed
  7f6decf

  Copy full SHA for 7f6decf

• Cleanup of RefinedType subtype comparison.

  odersky

  committed
  169c8dc

  Copy full SHA for 169c8dc

Commits on Dec 10, 2015

• Fix TypeLambda extractor.

  Show description for 1c77b03
  odersky

  committed
  1c77b03

  Copy full SHA for 1c77b03

Commits on Dec 11, 2015

• Disallow hk type parameters in lower bounds.

  Show description for fd44a17
  odersky

  committed
  fd44a17

  Copy full SHA for fd44a17

• Remove extraneous match

  odersky

  committed
  6cb2a3b

  Copy full SHA for 6cb2a3b

• Add isBottomType/Class tests to Definitions

  odersky

  committed
  b8e05d5

  Copy full SHA for b8e05d5

• Allow bottom types as hk type arguments

  Show description for 88f24ef
  odersky

  committed
  88f24ef

  Copy full SHA for 88f24ef

Commits on Dec 13, 2015

• Perform variance adaptation only when needed in isSubType

  Show description for b350d20
  odersky

  committed
  b350d20

  Copy full SHA for b350d20

• In isSubType, follow aliases only if prefix is a path.

  Show description for 2703543
  odersky

  committed
  2703543

  Copy full SHA for 2703543

• Avoid cycle when computing sets

  Show description for dba4b94
  odersky

  committed
  dba4b94

  Copy full SHA for dba4b94

• Better explanation for adaptHkVariances

  odersky

  committed
  b593958

  Copy full SHA for b593958

• Shortcut in derivesFrom for high bound Any.

  Show description for 95098ba
  odersky

  committed
  95098ba

  Copy full SHA for 95098ba

• Allow deep subtype for sets and related code in dotty/transform.

  Show description for 8a9e89a
  odersky

  committed
  8a9e89a

  Copy full SHA for 8a9e89a