Ross Paterson wrote:
On Mon, Mar 16, 2009 at 08:48:34AM -0000, Sittampalam, Ganesh wrote:
I think this makes perfect sense where the monad transformer types are not externally visible. I'm just concerned about what to do with packages where the types are part of the interface - it would be best to coordinate this to some extent to avoid incompatibilities.
Hmm, there seem to be over a hundred such packages.
The monads-fd and monads-tf packages use the same module names, which will create incompatibilities if both appear in interfaces. I'm not sure what to do there. transformers+monads-fd tries to mirror mtl, so maybe monads-tf has to move.
That's an issue for the design of transformers that clearly needs to be fixed, but I was actually asking about if any focused mtl -> transformers transition is planned and how it will be managed, in terms of dealing with the non-interoperability between the types in each. Cheers, Ganesh =============================================================================== Please access the attached hyperlink for an important electronic communications disclaimer: http://www.credit-suisse.com/legal/en/disclaimer_email_ib.html ===============================================================================