Code

Change HK types scheme#731

Code

Closed

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

dotty-staging:change/hkdotty-staging/dotty:change/hkCopy head branch name to clipboard

Commits

Commits on Jul 16, 2015

• Clean up of logic in typeDefSig

  odersky

  committed
  a3f1e56

  Copy full SHA for a3f1e56

• Avoid cyclic references in containsRefinedThis

  Show description for b07727b
  odersky

  committed
  b07727b

  Copy full SHA for b07727b

• Eta expand type arguments corresponding to lambdas

  Show description for 2b75c95
  odersky

  committed
  2b75c95

  Copy full SHA for 2b75c95

• Check argument lengths in typedAppliedTypeTree

  Show description for c11e20d
  odersky

  committed
  c11e20d

  Copy full SHA for c11e20d

• Better diagnostics for failed sigName calls.

  Show description for d02d383
  odersky

  committed
  d02d383

  Copy full SHA for d02d383

• Black hole detection for LazyRefs

  Show description for 6b5ff03
  odersky

  committed
  6b5ff03

  Copy full SHA for 6b5ff03

• Turn assertion into a test in etaExpandArgs.

  Show description for fc8e20a
  odersky

  committed
  fc8e20a

  Copy full SHA for fc8e20a

• Fix argument eta expansion

  Show description for ce831f8
  odersky

  committed
  ce831f8

  Copy full SHA for ce831f8

• Strenghten condition in EtaExpandIfLambda

  Show description for 6c992f0
  odersky

  committed
  6c992f0

  Copy full SHA for 6c992f0

• Adapt arguments in all type applications

  Show description for 43377ad
  odersky

  committed
  43377ad

  Copy full SHA for 43377ad

• Avoid generating companion-methods for non-class types.

  Show description for 35adb64
  odersky

  committed
  35adb64

  Copy full SHA for 35adb64

• Add EtaReduce method.

  Show description for 38ac13a
  odersky

  committed
  38ac13a

  Copy full SHA for 38ac13a

Commits on Jul 17, 2015

• Add comment.

  odersky

  committed
  8029f65

  Copy full SHA for 8029f65

• Add a test that logs the classpath to pinpoint setup failures.

  odersky

  committed
  c5958aa

  Copy full SHA for c5958aa

• Don't eta expand in appliedTo

  odersky

  committed
  24e3403

  Copy full SHA for 24e3403

• Always lambda abstract TempPolyTypes representing types.

  odersky

  committed
  5e45dc5

  Copy full SHA for 5e45dc5

• Lambda abstract all TypeRefs when unpickling.

  odersky

  committed
  968999a

  Copy full SHA for 968999a

• A non-class typeref has type parameters only if subtype of a lambda class.

  odersky

  committed
  d474100

  Copy full SHA for d474100

• Drop parameterizeWith

  Show description for accbed2
  odersky

  committed
  accbed2

  Copy full SHA for accbed2

Commits on Jul 19, 2015

• Allow to use safe substitution in LambdaAbstract

  Show description for c2a124f
  odersky

  committed
  c2a124f

  Copy full SHA for c2a124f

• Use EtaExpand instead of LambdaAbstract when unpickling typerefs

  Show description for 9bb3f52
  odersky

  committed
  9bb3f52

  Copy full SHA for 9bb3f52

• Avoid cycles when eliminating existentials in unpickling

  Show description for 8610b4d
  odersky

  committed
  8610b4d

  Copy full SHA for 8610b4d

• Don't lambda abstract derived types

  Show description for 7b751f8
  odersky

  committed
  7b751f8

  Copy full SHA for 7b751f8

• Temporary fix to testLifted

  Show description for 253adb0
  odersky

  committed
  253adb0

  Copy full SHA for 253adb0

• Follow alias types when computing type params.

  Show description for f679830
  odersky

  committed
  f679830

  Copy full SHA for f679830

• Try to eta reduce type applications.

  Show description for 484afef
  odersky

  committed
  484afef

  Copy full SHA for 484afef

• Project all high-kinded types with #Apply

  Show description for 5f779f6
  odersky

  committed
  5f779f6

  Copy full SHA for 5f779f6

• Better error reporting in TreePickler

  Show description for 7cb91c7
  odersky

  committed
  7cb91c7

  Copy full SHA for 7cb91c7

• Adapt type arguments in typedAppliedTypeTree

  Show description for 8b1d320
  odersky

  committed
  8b1d320

  Copy full SHA for 8b1d320

• Add missing position to error

  odersky

  committed
  4b06dea

  Copy full SHA for 4b06dea

Commits on Jul 20, 2015

• Rename Apply -> hkApply

  Show description for e24d164
  odersky

  committed
  e24d164

  Copy full SHA for e24d164

• Simplify EtaReduce

  Show description for 7582c0e
  odersky

  committed
  7582c0e

  Copy full SHA for 7582c0e

• Rename of hk args HK$x -> hk$x

  Show description for 4a5bf98
  odersky

  committed
  4a5bf98

  Copy full SHA for 4a5bf98

• Remove magic from derivedRefinedType.

  Show description for 974c503
  odersky

  committed
  974c503

  Copy full SHA for 974c503

• Replace isLambda with ifHK

  Show description for 7eaa515
  odersky

  committed
  7eaa515

  Copy full SHA for 7eaa515

• Rewrite compareHK to be kind-correct

  odersky

  committed
  ab55221

  Copy full SHA for ab55221

• Fix problem in typeParams

  Show description for 03be249
  odersky

  committed
  03be249

  Copy full SHA for 03be249

Commits on Jul 21, 2015

• Generalize eta reduction to partially applied types.

  Show description for 9c75b53
  odersky

  committed
  9c75b53

  Copy full SHA for 9c75b53

• Disallow wildcard arguments to higher-kinded types...

  Show description for fecd591
  odersky

  committed
  fecd591

  Copy full SHA for fecd591

Commits on Jul 22, 2015

• Keep track of parameter bounds in LambdaAbstract and EtaReduce

  Show description for 140eb10
  odersky

  committed
  140eb10

  Copy full SHA for 140eb10

• Avoid orphan RefinedThis types in glb/lub.

  odersky

  committed
  fd0fa8e

  Copy full SHA for fd0fa8e

• Move failing test to pending.

  Show description for 887f815
  odersky

  committed
  887f815

  Copy full SHA for 887f815