Code

Refactor lambda types#2121

Code

Merged

odersky merged 35 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:change-merge-method-polydotty-staging/dotty:change-merge-method-polyCopy head branch name to clipboard

Apr 6, 2017

Commits

Commits on Apr 6, 2017

• Encode variances in parameter names

  Show description for 6545606
  odersky

  committed
  6545606

  Copy full SHA for 6545606

• Add neg test for illegal parameter names

  Show description for 3ff3b3a
  odersky

  committed
  3ff3b3a

  Copy full SHA for 3ff3b3a

• Fix dottydoc parameter printing

  odersky

  committed
  53d5311

  Copy full SHA for 53d5311

• Don't let illegal parameter names propagate into types

  odersky

  committed
  bf2f77e

  Copy full SHA for bf2f77e

• Drop name checking scheme for type parameters

  Show description for 549bd81
  odersky

  committed
  549bd81

  Copy full SHA for 549bd81

• Break out functionality from MethodType

  Show description for c024a60
  odersky

  committed
  c024a60

  Copy full SHA for c024a60

• Harmonize paramTypes and paramBounds

  Show description for 31ab880
  odersky

  committed
  31ab880

  Copy full SHA for 31ab880

• ParamType refactorings

  Show description for 5811755
  odersky

  committed
  5811755

  Copy full SHA for 5811755

• Get rid of Name parameter for LambdaType and ParamRef

  Show description for e6abcfc
  odersky

  committed
  e6abcfc

  Copy full SHA for e6abcfc

• Disable -strict when compiling dotty.

  Show description for 71daa03
  odersky

  committed
  71daa03

  Copy full SHA for 71daa03

• Remove parameter from lambda type

  odersky

  committed
  c771851

  Copy full SHA for c771851

• Disable -strict when compiling dotty.

  Show description for 30af0b5
  odersky

  committed
  30af0b5

  Copy full SHA for 30af0b5

• Refactor ParamRef so that no type params are needed

  odersky

  committed
  2b5d1a8

  Copy full SHA for 2b5d1a8

• Rename PolyParam --> TypeParamRef

  odersky

  committed
  70b3b90

  Copy full SHA for 70b3b90

• Make PolyTypes subtypes of LambdaTypes

  Show description for 78e6cc7
  odersky

  committed
  78e6cc7

  Copy full SHA for 78e6cc7

• Add StarLambda, HKLambda abstractions ...

  Show description for ec4282d
  odersky

  committed
  ec4282d

  Copy full SHA for ec4282d

• replace derived{Method,Poly}Type with derivedLambdaType

  odersky

  committed
  700e7ac

  Copy full SHA for 700e7ac

• Eliminate ParamType

  Show description for 5fe6f54
  odersky

  committed
  5fe6f54

  Copy full SHA for 5fe6f54

• Eliminate MethodOrPoly

  Show description for 4bfc173
  odersky

  committed
  4bfc173

  Copy full SHA for 4bfc173

• Add HKTypeLambda

  odersky

  committed
  d0823ef

  Copy full SHA for d0823ef

• Rename PolyTypeTree -> LambdaTypeTree

  odersky

  committed
  26497bb

  Copy full SHA for 26497bb

• Further refactorings

  Show description for db4f7a1
  odersky

  committed
  db4f7a1

  Copy full SHA for db4f7a1

• Eliminate LambdaAbstract

  Show description for c672175
  odersky

  committed
  c672175

  Copy full SHA for c672175

• Handle hk lambdas in tasty

  odersky

  committed
  e4d4999

  Copy full SHA for e4d4999

• Generalize comparisons from PolyTypes to TypeLambdas

  odersky

  committed
  8b1340b

  Copy full SHA for 8b1340b

• Split HKTypeLambda from PolyType

  odersky

  committed
  f6c61f3

  Copy full SHA for f6c61f3

• Make PolyType a ground type

  Show description for 1531755
  odersky

  committed
  1531755

  Copy full SHA for 1531755

• Merge MethodType and PolyType functionality where possible

  Show description for 8d33ca7
  odersky

  committed
  8d33ca7

  Copy full SHA for 8d33ca7

• Narrow matches from TypeLambda to HKTypeLambda where appropriate

  odersky

  committed
  15e60e8

  Copy full SHA for 15e60e8

• Refactorings for efficiency

  Show description for cdc91e2
  odersky

  committed
  cdc91e2

  Copy full SHA for cdc91e2

• Fix dotty-doc to take account of refactorings

  odersky

  committed
  a15b14f

  Copy full SHA for a15b14f

• Generalize PolyType to TypeLambda in dotty-doc

  odersky

  committed
  2e04574

  Copy full SHA for 2e04574

• Polishings

  odersky

  committed
  d101f49

  Copy full SHA for d101f49

• Update doc comment on HkTypeLambda/PolyType

  odersky

  committed
  4939b47

  Copy full SHA for 4939b47

• Adapt TastyPrinter to new format

  odersky

  committed
  e800987

  Copy full SHA for e800987