Code

Improvements to higher-kinded types#585

Code

Merged

odersky merged 22 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix/collection-relateddotty-staging/dotty:fix/collection-relatedCopy head branch name to clipboard

May 25, 2015

Commits

Commits on May 21, 2015

• Allow AnnotatedType in operands of `with`.

  Show description for 1f908b4
  odersky

  committed
  1f908b4

  Copy full SHA for 1f908b4

• Disallow {...} arguments for annotations

  Show description for 89145d0
  odersky

  committed
  89145d0

  Copy full SHA for 89145d0

• Make normalizeToRef survive annotated types

  Show description for 3d9d90e
  odersky

  committed
  3d9d90e

  Copy full SHA for 3d9d90e

• Add "Printing" mode

  Show description for 9ab8653
  odersky

  committed
  9ab8653

  Copy full SHA for 9ab8653

• Shorten lambda arguments to HK$

  Show description for 42feebf
  odersky

  committed
  42feebf

  Copy full SHA for 42feebf

• Harden isLambdaArgName

  Show description for acc1e15
  odersky

  committed
  acc1e15

  Copy full SHA for acc1e15

• Fix error in derivedTypeAlias

  Show description for 85dcf16
  odersky

  committed
  85dcf16

  Copy full SHA for 85dcf16

• Specialize printing of Lambda abstractions.

  Show description for 98ae292
  odersky

  committed
  98ae292

  Copy full SHA for 98ae292

• Fix isSubType bug related to testLifted

  Show description for ff96f13
  odersky

  committed
  ff96f13

  Copy full SHA for ff96f13

• Fix DenotationNotDefinedHere in pattern matcher

  Show description for 74490a2
  odersky

  committed
  74490a2

  Copy full SHA for 74490a2

• Add test case for higher-kinded operations on collections

  Show description for 3fa6c8a
  odersky

  committed
  3fa6c8a

  Copy full SHA for 3fa6c8a

• Rename for clarity

  odersky

  committed
  17f1c5f

  Copy full SHA for 17f1c5f

• Generaize canWiden to classBounds

  Show description for d5975dc
  odersky

  committed
  d5975dc

  Copy full SHA for d5975dc

• Implement type beta reduction in lookupRefined

  Show description for 110a438
  odersky

  committed
  110a438

  Copy full SHA for 110a438

• Move threshold values to Config

  Show description for 24a95aa
  odersky

  committed
  24a95aa

  Copy full SHA for 24a95aa

• Show LazyRefs nicely

  Show description for 53496b8
  odersky

  committed
  53496b8

  Copy full SHA for 53496b8

• Add equals and hashcode to LazyRef

  odersky

  committed
  709c657

  Copy full SHA for 709c657

• Avoid cycle between findMember and &

  Show description for 02f5ba8
  odersky

  committed
  02f5ba8

  Copy full SHA for 02f5ba8

• Harden display logic

  Show description for de7a5bb
  odersky

  committed
  de7a5bb

  Copy full SHA for de7a5bb

• Rename Reporter#echo -> println

  Show description for 1746ae1
  odersky

  committed
  1746ae1

  Copy full SHA for 1746ae1

• Move findMember count tracking from TypeComparer to Context

  Show description for 10bb6a0
  odersky

  committed
  10bb6a0

  Copy full SHA for 10bb6a0

• Calibrate findMember logging thresholds and test case

  Show description for 78640eb
  odersky

  committed
  78640eb

  Copy full SHA for 78640eb