Fix/double bindings#115

Merged

DarkDimius merged 10 commits intoscala:masterfrom

dotty-staging:fix/double-bindings

Apr 8, 2014

Commits on Apr 8, 2014

Corrected computations of union denotations.

odersky
authored and
DarkDimius
committed
Fleshed out Splitter phase

odersky
authored and
DarkDimius
committed
Better printing of denotations.

odersky
authored and
DarkDimius
committed
TreeCheckers use re-typing...

odersky
authored and
DarkDimius
committed
Avoid creating a local dummy when retyping.

odersky
authored and
DarkDimius
committed
Reworked TermRef handling

odersky
authored and
DarkDimius
committed
Flag self names that conflict with parameters or members

odersky
authored and
DarkDimius
committed
Option for testing for double bindings

odersky
authored and
DarkDimius
committed
Cleanups

odersky
authored and
DarkDimius
committed
Shadowed references

odersky
authored and
DarkDimius
committed