[GHC] #10509: UnicodeSyntax documentation lists wrong symbols

[GHC]

#10509: UnicodeSyntax documentation lists wrong symbols
-------------------------------------+-------------------------------------
        Reporter:  zardoz            |                   Owner:
            Type:  bug               |                  Status:  new
        Priority:  normal            |               Milestone:  7.12.1
       Component:  Documentation     |                 Version:  7.10.1
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  None/Unknown      |  Unknown/Multiple
      Blocked By:                    |               Test Case:
 Related Tickets:                    |                Blocking:
                                     |  Differential Revisions:
-------------------------------------+-------------------------------------
Changes (by pgj):

 * owner:  zardoz =>
 * status:  closed => new
 * resolution:  fixed =>


Comment:

 Unfortunately, [https://mail.haskell.org/pipermail/ghc-
 builds/2015-June/005002.html according to the buildbots], this patch does
 not work with the LaTeX backend but the HTML format only:

 {{{
 Build users_guide.ps
 latex failed
 users_guide.tex:17170: Undefined control sequence \Colon.
 users_guide.tex:17170: leading text: }
 Unexpected error occured
 Missing character ⤙
 Missing character ⤚
 Missing character ⤛
 Missing character ⤜
 [ -f docs/users_guide/users_guide.ps ]
 docs/users_guide/ghc.mk:26: recipe for target
 'docs/users_guide/users_guide.ps' failed
 gmake[1]: *** [docs/users_guide/users_guide.ps] Error 1
 Makefile:102: recipe for target 'all' failed
 gmake: *** [all] Error 2
 }}}

 This build problem itself could be fixed with the {{{-P
 'latex.unicode.use=1'}}} flag passed to dblatex.  Though, the resulting
 PS/PDF files will not have the expected symbols as dblatex does not know
 how to translate that.

 I can add the aforementioned flag for dblatex to {{{mk/config.mk}}} so the
 buildbots will not get choked on this any more, but it will not solve the
 problem of generating proper symbols for the PS/PDF versions of the guide.

 zardoz: Do you have any ideas how to fix that?

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10509#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler