Fri Feb 15 07:57:21 PST 2002 malcolm * Oops, a reverse-video box should occupy a single character in the pretty-printer, not more. Use the `highlight' document combinator, rather than a literal string with embedded escape codes. M ./src/hattools/PrettyExp.hs -6 +6