Unicode alternative for '..' (ticket #3894)
Roel van Dijk
vandijk.roel at gmail.com
Wed Apr 21 03:06:55 EDT 2010
On Wed, Apr 21, 2010 at 12:51 AM, Yitzchak Gale <gale at sefer.org> wrote:
> Yes, sorry. Either use TWO DOT LEADER, or remove
> this Unicode alternative altogether
> (i.e. leave it the way it is *without* the UnicodeSyntax extension).
> I'm happy with either of those. I just don't like moving the dots
> up to the middle, or changing the number of dots.
I would be happy with either changing the character to the baseline
ellipsis or removing it altogether.
It would be nice if we could grep (or emacs grep-find) all sources on
Hackage to check which packages use the ⋯ character. I suspect it is
very close to 0.
More information about the Glasgow-haskell-users