lampepfl/dotty — pull request #302 by odersky (2014-12-17 14:05:05+00:00)
Title: Fix/returns

Several fixes to returns, and one to error reporting. Review by @DarkDimius. Supersedes #297.