lampepfl/dotty — pull request #228 by odersky (2014-11-14 18:00:05+00:00)
Title: Fix/overriding

Fixes missing overriding checks. Builds on #227. Review by @smarter