lampepfl/dotty — pull request #136 by odersky (2014-05-30 13:47:03+00:00)
Title: Fix/systematic prototypes

More fixes for tests, and a re-org of prototype handling. Review by @DarkDimius, @samuelgruetter