lampepfl/dotty — pull request #58 by odersky (2014-03-12 14:45:14+00:00)
Title: Fix/#55 #56 modules

Fixes of #55, #56, related to modules