lampepfl/dotty — pull request #89 by odersky (2014-03-21 16:03:45+00:00)
Title: Fix phase of context for denotation transformer

The phase is now always the phase on which the denotation transformer is defined.