True union types#1550

Merged

smarter merged 15 commits intoscala:masterfrom

dotty-staging:union-types

Oct 11, 2016

Commits on Oct 11, 2016

Fix non-sensical code

odersky
authored and
smarter
committed
Reformatting to avoid a long line

odersky
authored and
smarter
committed
Change default of unsafe Config option

odersky
authored and
smarter
committed
Keep or types

odersky
authored and
smarter
committed
Handle feature interaction between subtyping or types and hk types

odersky
authored and
smarter
committed
Refine mergeEntries

odersky
authored and
smarter
committed
Remove unused language option

odersky
authored and
smarter
committed
Adapt tests

odersky
authored and
smarter
committed
Scrutinize selections in TreeChecker

odersky
authored and
smarter
committed
Refactor Splitter functionality

odersky
authored and
smarter
committed
Disallow singleton types in unions

odersky
authored and
smarter
committed
Don't report double def errors if symbol's type is erroneous

odersky
authored and
smarter
committed
Drop dotty.language from Definitions

odersky
authored and
smarter
committed
Fix cutting problem

odersky
authored and
smarter
committed
Add test case

odersky
authored and
smarter
committed