Code

Harmonize PolyType and TypeLambda#1560

Code

Merged

smarter merged 10 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:change-one-polytypedotty-staging/dotty:change-one-polytypeCopy head branch name to clipboard

Oct 12, 2016

Commits

Commits on Oct 12, 2016

• Make TypeLambdas not be ValueTypes

  

  odersky

  authored and

  smarter

  committed
  8897b46

  Copy full SHA for 8897b46

• Harmonize PolyType and TypeLambda

  Show description for bafc0a3
  

  odersky

  authored and

  smarter

  committed
  bafc0a3

  Copy full SHA for bafc0a3

• Change type inheritance diagram

  Show description for a9be90c
  

  odersky

  authored and

  smarter

  committed
  a9be90c

  Copy full SHA for a9be90c

• Fix rebase problem

  

  odersky

  authored and

  smarter

  committed
  d64bab5

  Copy full SHA for d64bab5

• Don't let import symbols go stale

  Show description for 695afc5
  

  odersky

  authored and

  smarter

  committed
  695afc5

  Copy full SHA for 695afc5

• Make PolyType a subtype of TypeLambda

  

  odersky

  authored and

  smarter

  committed
  5456c8b

  Copy full SHA for 5456c8b

• Refactor from distribute{And,Or} to {meet,join}Info

  Show description for 6807b44
  

  odersky

  authored and

  smarter

  committed
  6807b44

  Copy full SHA for 6807b44

• Merge GenericType, TypeLambda and PolyType

  

  odersky

  authored and

  smarter

  committed
  df2187e

  Copy full SHA for df2187e

• Use => instead of -> for PolyTypes

  Show description for d8127d2
  

  odersky

  authored and

  smarter

  committed
  d8127d2

  Copy full SHA for d8127d2

• Update tests to use new PolyType syntax.

  

  odersky

  authored and

  smarter

  committed
  9e74d72

  Copy full SHA for 9e74d72