On Thu, 15 Jan 2015 21:53:21 +0100, Matthias Guedemann <matthias.guedemann at googlemail.com> wrote: > This seems to be a bug; there should better be an error message > reporting the non-matching names of the module declaration and the end > of the module. Yes, there should. I will look into this. Zoltan.