lampepfl/dotty — pull request #313 by odersky (2014-12-19 14:24:21+00:00)
Title: More tests

This is a branch that successively tries to fix more tests. Everyone is invited to review. In the interest of keeping the workflow smooth I am not going to flood the list with PRs if the fix is non-controversial. Difficult fixes will get their own PRs. But simple ones and simple verifications that some tests work will appear here.