proposal #2254: have Control.Arrow re-export (>>>) and (<<<)

Simon Peyton-Jones simonpj at
Fri May 2 03:30:03 EDT 2008

| Is it the same as this one?
| I use qualified imports, and I see it on about half the modules I compile.

I don't think so.  I believe the original message concerned a variable or type that was in scope in two different ways.  Niklas said

| Generally, if module A exports foo, module B imports A and re-exports
| foo, and module C imports both A and B, there should be no ambiguity.
| Not even if it reexports all of modules A and B. Why would e.g. GHC
| need to warn in that case?

Perhaps Niklas can say whether #1148 is the bug he is describing, and if not file a new one?


More information about the Libraries mailing list