Code

Topic/tree checking#114

Code

Closed

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

dotty-staging:topic/tree-checkingdotty-staging/dotty:topic/tree-checkingCopy head branch name to clipboard

Commits

Commits on Apr 4, 2014

• Better printing of denotations.

  Show description for df4dcce
  odersky

  committed
  df4dcce

  Copy full SHA for df4dcce

• Corrected computations of union denotations.

  Show description for f6ba798
  odersky

  committed
  f6ba798

  Copy full SHA for f6ba798

• Fleshed out Splitter phase

  Show description for dc2382b
  odersky

  committed
  dc2382b

  Copy full SHA for dc2382b

• TreeCheckers use re-typing...

  Show description for 0ef44fb
  odersky

  committed
  0ef44fb

  Copy full SHA for 0ef44fb

• Avoid creating a local dummy when retyping.

  Show description for 5809d9a
  odersky

  committed
  5809d9a

  Copy full SHA for 5809d9a