lampepfl/dotty — pull request #97 by odersky (2014-03-26 16:07:33+00:00)
Title: Fix/phases etc

This contains the core fixes for phases and denotation transformers to unblock Dmitry and Tobias