Fixes of GADTs and test recategorization.#1461
Merged
odersky merged 17 commits intoscala:masterfrom Aug 26, 2016
Commits
Commits on Aug 26, 2016
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
