Code

Fix #939#959

Code

Merged

odersky merged 65 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-#939dotty-staging/dotty:fix-#939Copy 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

Commits on Dec 14, 2015

• Remove redundant type parameter in testLifted

  odersky

  committed
  886b74d

  Copy full SHA for 886b74d

• Rename TypeArgument -> BaseTypeArg flag.

  Show description for ef66db2
  odersky

  committed
  ef66db2

  Copy full SHA for ef66db2

• Make all arg bindings have flag BaseTypeArg.

  Show description for 083b949
  odersky

  committed
  083b949

  Copy full SHA for 083b949

• Disregard BaseTypeArg parameters when variance checking.

  Show description for 25f3858
  odersky

  committed
  25f3858

  Copy full SHA for 25f3858

• Fix of too strict variance checking.

  Show description for 9eee92f
  odersky

  committed
  9eee92f

  Copy full SHA for 9eee92f

• Add whitelist entries which now work

  Show description for 611bf86
  odersky

  committed
  611bf86

  Copy full SHA for 611bf86

• Remove stray assignment

  odersky

  committed
  9b2d9b2

  Copy full SHA for 9b2d9b2

• Avoid unassigned type errors when typing curried functions.

  Show description for 4900abc
  odersky

  committed
  4900abc

  Copy full SHA for 4900abc

• Fix tricky bug coming up when compiling TraversableViewLike.

  odersky

  committed
  6c91684

  Copy full SHA for 6c91684

• Do not report data races between symbols defined in class and its selftype

  Show description for ac99941
  odersky

  committed
  ac99941

  Copy full SHA for ac99941

• Adaptations to checkSymAssign

  Show description for 8203177
  odersky

  committed
  8203177

  Copy full SHA for 8203177

• Fix sleeper bug in ParamForwarding

  Show description for 2a3f786
  odersky

  committed
  2a3f786

  Copy full SHA for 2a3f786

• Make some types of definitions symbolic

  Show description for f829cf8
  odersky

  committed
  f829cf8

  Copy full SHA for f829cf8

• Add test case

  odersky

  committed
  db9d4f0

  Copy full SHA for db9d4f0

• Drop redundant condition

  odersky

  committed
  c4238b1

  Copy full SHA for c4238b1

• Better diagnostics for clashing classes

  Show description for 3476bab
  odersky

  committed
  3476bab

  Copy full SHA for 3476bab

• Convert super. prefixes of types to this.

  Show description for 7cdbcdb
  odersky

  committed
  7cdbcdb

  Copy full SHA for 7cdbcdb

• Fix problem handling SuperTypes in asSeenFrom

  Show description for 82f59af
  odersky

  committed
  82f59af

  Copy full SHA for 82f59af

• Better diagnosis for cyclic references caused by class clashes.

  Show description for 3bbc2bf
  odersky

  committed
  3bbc2bf

  Copy full SHA for 3bbc2bf

• Add new whitelists tests.

  odersky

  committed
  44782f2

  Copy full SHA for 44782f2

• Improve printing of overloaded denotations

  odersky

  committed
  a0b2972

  Copy full SHA for a0b2972

• Only select parameterless get methods in unapplys.

  Show description for 0a19b0b
  odersky

  committed
  0a19b0b

  Copy full SHA for 0a19b0b

• Generalize overriding checking from isDefined

  Show description for 21948a5
  odersky

  committed
  21948a5

  Copy full SHA for 21948a5

• Add comments to whitelist with assignments for further action.

  odersky

  committed
  8103c64

  Copy full SHA for 8103c64