The current CVS version fails on tests/static/mod33.hs: module M where id x = x and also module M(module M) where id x = x In both cases the export should be unambiguous. (The latter was a late clarification of the Report.)