Curious. Doesn't happen here. We're unlikely to fix this unless
someone knows what is going on and can tell us...
Simon
| -Original Message-
| From: Dean Herington [mailto:[EMAIL PROTECTED]]
| Sent: 22 January 2003 19:26
| To: [EMAIL PROTECTED]
| Subject: funny bold ouput in GHCI
|
|
Dean Herington writes:
| Using GHCI 5.04.2, ... the '' character of a '-' lexeme
| appears in bold on my terminal.
Is it possible that your terminal is set up for syntax-highlighting,
or that you are using GHCi from within something like emacs where
such a facility might be available? For
