lampepfl/dotty — pull request #133 by odersky (2014-05-12 10:54:52+00:00)
Title: More tests

More pos tests and fixes to make them pass