Export String from Data.String
This ticket makes three proposals, in order of importance IMHO:
Data.String. Most modules in
baseand on Hackage of the form:
<type>. I think it's surprising and confusing that
Data.Stringdoesn't conform to this pattern.
Data.Char. I feel less strongly about this one, but in general I think it is good that a symbol is exported from as few modules as possible.
- Export the
Data.String. I feel even less strongly about this one. However these are operations on
Strings so it makes sense to export them from
Data.String. As a counter argument you could say these operations either receive or produce a list of
Strings so they only belong in
If we accept 3 then in the spirit of export a symbol from as few modules as possible, you may expect a fourth proposal: Unexport the
Data.List. However I think this will break lots of programs. I have no problem also discussing this one though.
Attached is a patch bundle with three patches that implement the three proposals. We may end up deciding to apply only a few of them.
3 weeks from now: Wednesday 10 November.