lampepfl/dotty — pull request #287 by samuelgruetter (2014-12-14 23:18:54+00:00)
Title: Run rewrite tool on tests

I ran the latest version of the rewrite tool on `tests/untried/pos`. Then I also ran a script which moves those test which succeed from `tests/untried/pos` to `tests/pos`.
So all 293 tests which are still in `tests/untried/pos` are failing, and we can start tackling these ;-)