Actually, the more I think about it, the more I'm sure that it is a bug. If you import A into module b, you should be able to use it with the symbols in b. This actually seems like quite a bad bug.