Hi

but I called it OOB text for 'out-of-band' text. I use it mainly for xterm escape codes.

I would have thought the term zeroText more accurately signifies the meaning, partly because out-of-band isn't such a commonly known phrase. If anyone can suggest anything better than zeroText, then I'm happy to hear it.

I actually like Daan's pretty printer much more than the hughespj one, I find it easier to get the layout I want and clearer in general.

I don't particularly like the hughespj, but its the one that made it into the base library. It's probably also a good candidate for coming out of the base library at some point, but thats an entirely different discussion!

would there be interest is something like DocLike in the main libraries?

http://repetae.net/repos/Doc/DocLike.hs

I would have thought a good pretty printer library with all the various implementations and a DocLike would be nice. Not sure it belongs in the main library though - I see pretty printing more like parsing, an addon to the standard libraries. Thanks Neil

Hi

...

I would have thought the term zeroText more accurately signifies the meaning, partly because out-of-band isn't such a commonly known phrase. If anyone can suggest anything better than zeroText, then I'm happy to hear it.

I don't know if I prefer one over the other, but in my attached implementation of Wadler's pretty printer (basically stolen directly from the paper), I'd called this control.

I don't like control because of Control.Monad Cale on IRC suggested invisible, so far thats the best name I think. Thanks Neil

Aaron Denney writes:

On 2007-03-23, Neil Mitchell wrote:

...

Hi

...

but I called it OOB text for 'out-of-band' text. I use it mainly for xterm escape codes.

I would have thought the term zeroText more accurately signifies the meaning, partly because out-of-band isn't such a commonly known phrase. If anyone can suggest anything better than zeroText, then I'm happy to hear it.

out-of-band not commonly known? Huh. I'd have said it's quite common.

So would I, but I suppose it depends on who you're talking to.

zeroText doesn't say what about it is zero.

How about 'zeroWidthText'? It seems self-explanitory and fairly generic. -- David Menendez | "In this house, we obey the laws http://www.eyrie.org/~zednenem | of thermodynamics!"