Code

Change hk take 2#802

Code

Merged

odersky merged 44 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:change-hk-1dotty-staging/dotty:change-hk-1Copy head branch name to clipboard

Sep 25, 2015

Commits

Commits on Sep 18, 2015

• Clean up of logic in typeDefSig

  odersky

  committed
  8e1f0da

  Copy full SHA for 8e1f0da

• Avoid cyclic references in containsRefinedThis

  Show description for e2e71dc
  odersky

  committed
  e2e71dc

  Copy full SHA for e2e71dc

• Eta expand type arguments corresponding to lambdas

  Show description for 92fe081
  odersky

  committed
  92fe081

  Copy full SHA for 92fe081

• Check argument lengths in typedAppliedTypeTree

  Show description for 3eb1143
  odersky

  committed
  3eb1143

  Copy full SHA for 3eb1143

• Better diagnostics for failed sigName calls.

  Show description for b10b93e
  odersky

  committed
  b10b93e

  Copy full SHA for b10b93e

• Black hole detection for LazyRefs

  Show description for 0bdee32
  odersky

  committed
  0bdee32

  Copy full SHA for 0bdee32

• Turn assertion into a test in etaExpandArgs.

  Show description for 0d95c76
  odersky

  committed
  0d95c76

  Copy full SHA for 0d95c76

• Fix argument eta expansion

  Show description for fdf8f86
  odersky

  committed
  fdf8f86

  Copy full SHA for fdf8f86

• Strenghten condition in EtaExpandIfLambda

  Show description for 5f7eadf
  odersky

  committed
  5f7eadf

  Copy full SHA for 5f7eadf

• Adapt arguments in all type applications

  Show description for f192203
  odersky

  committed
  f192203

  Copy full SHA for f192203

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

  Show description for c28f023
  odersky

  committed
  c28f023

  Copy full SHA for c28f023

• Add EtaReduce method.

  Show description for 8c6b709
  odersky

  committed
  8c6b709

  Copy full SHA for 8c6b709

• Add comment.

  odersky

  committed
  a4d51ed

  Copy full SHA for a4d51ed

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

  odersky

  committed
  c8b22f5

  Copy full SHA for c8b22f5

• Don't eta expand in appliedTo

  odersky

  committed
  36ea476

  Copy full SHA for 36ea476

• Always lambda abstract TempPolyTypes representing types.

  odersky

  committed
  60b231c

  Copy full SHA for 60b231c

• Lambda abstract all TypeRefs when unpickling.

  odersky

  committed
  525e0ac

  Copy full SHA for 525e0ac

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

  odersky

  committed
  eb0b288

  Copy full SHA for eb0b288

• Drop parameterizeWith

  Show description for e2aa258
  odersky

  committed
  e2aa258

  Copy full SHA for e2aa258

• Allow to use safe substitution in LambdaAbstract

  Show description for b12edd1
  odersky

  committed
  b12edd1

  Copy full SHA for b12edd1

• Use EtaExpand instead of LambdaAbstract when unpickling typerefs

  Show description for 3be3aa3
  odersky

  committed
  3be3aa3

  Copy full SHA for 3be3aa3

• Avoid cycles when eliminating existentials in unpickling

  Show description for 4704996
  odersky

  committed
  4704996

  Copy full SHA for 4704996

• Don't lambda abstract derived types

  Show description for 094c3bd
  odersky

  committed
  094c3bd

  Copy full SHA for 094c3bd

• Temporary fix to testLifted

  Show description for 31f9da1
  odersky

  committed
  31f9da1

  Copy full SHA for 31f9da1

• Follow alias types when computing type params.

  Show description for 05a4660
  odersky

  committed
  05a4660

  Copy full SHA for 05a4660

• Try to eta reduce type applications.

  Show description for 83ae926
  odersky

  committed
  83ae926

  Copy full SHA for 83ae926

• Project all high-kinded types with #Apply

  Show description for 965e7e3
  odersky

  committed
  965e7e3

  Copy full SHA for 965e7e3

• Better error reporting in TreePickler

  Show description for c0918c6
  odersky

  committed
  c0918c6

  Copy full SHA for c0918c6

• Adapt type arguments in typedAppliedTypeTree

  Show description for 09ebc0f
  odersky

  committed
  09ebc0f

  Copy full SHA for 09ebc0f

• Add missing position to error

  odersky

  committed
  caae19b

  Copy full SHA for caae19b

• Rename Apply -> hkApply

  Show description for 2634498
  odersky

  committed
  2634498

  Copy full SHA for 2634498

• Simplify EtaReduce

  Show description for 845a5d6
  odersky

  committed
  845a5d6

  Copy full SHA for 845a5d6

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

  Show description for 31048ad
  odersky

  committed
  31048ad

  Copy full SHA for 31048ad

• Remove magic from derivedRefinedType.

  Show description for 5a9a48d
  odersky

  committed
  5a9a48d

  Copy full SHA for 5a9a48d

• Replace isLambda with ifHK

  Show description for 38ac029
  odersky

  committed
  38ac029

  Copy full SHA for 38ac029

• Rewrite compareHK to be kind-correct

  odersky

  committed
  ab6e5ce

  Copy full SHA for ab6e5ce

• Fix problem in typeParams

  Show description for 4aa1d5e
  odersky

  committed
  4aa1d5e

  Copy full SHA for 4aa1d5e

• Generalize eta reduction to partially applied types.

  Show description for 4148970
  odersky

  committed
  4148970

  Copy full SHA for 4148970

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

  Show description for e8aecfa
  odersky

  committed
  e8aecfa

  Copy full SHA for e8aecfa

• Keep track of parameter bounds in LambdaAbstract and EtaReduce

  Show description for d1cd3d7
  odersky

  committed
  d1cd3d7

  Copy full SHA for d1cd3d7

• Avoid orphan RefinedThis types in glb/lub.

  odersky

  committed
  5ee7b9e

  Copy full SHA for 5ee7b9e

• Move failing test to pending.

  Show description for 154f351
  odersky

  committed
  154f351

  Copy full SHA for 154f351

Commits on Sep 21, 2015

• Eta expand $apply projected types if needed

  Show description for 71e3133
  odersky

  committed
  71e3133

  Copy full SHA for 71e3133

• Fixes to comments suggested by reviewer

  Show description for 1ba3d61
  odersky

  committed
  1ba3d61

  Copy full SHA for 1ba3d61