lampepfl/dotty — pull request #218 by odersky (2014-11-09 12:23:52+00:00)
Title: Cleanup/interface

Depends on mixin PR. Review by @DarkDimius