lampepfl/dotty — pull request #114 by odersky (2014-04-04 09:04:44+00:00)
Title: Topic/tree checking

Two new commits over #113, which make tree checkers typecheck things.