lampepfl/dotty — pull request #81 by DarkDimius (2014-03-18 15:20:35+00:00)
Title:  Allow MiniPhase to be DenotTransformer & LazyVals

Finally :-)
@odersky, @sjrd please review