lampepfl/dotty — pull request #59 by odersky (2014-03-12 15:43:59+00:00)
Title: Fix/#55 #56 modules

Fixes for problems related to modules.