[GHC] #10509: UnicodeSyntax documentation lists wrong symbols

#10509: UnicodeSyntax documentation lists wrong symbols -------------------------------------+------------------------------------- Reporter: zardoz | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: | Version: 7.10.1 Documentation | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- I’ve noticed that the documentation on UnicodeSyntax lists erroneous Unicode variants for (-<) and (>-). Notably, it gives ↢ and ↣, while the lexer actually uses ⤙ and ⤚. The numeric Unicode codepoints are accurate, but glyphs displayed in the table are wrong. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10509 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#10509: UnicodeSyntax documentation lists wrong symbols -------------------------------------+------------------------------------- Reporter: zardoz | Owner: Type: bug | Status: new Priority: normal | Milestone: 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: -------------------------------------+------------------------------------- Comment (by thomie): Would you like to submit a patch? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10509#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#10509: UnicodeSyntax documentation lists wrong symbols -------------------------------------+------------------------------------- Reporter: zardoz | Owner: zardoz Type: bug | Status: new Priority: normal | Milestone: 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 zardoz): * owner: => zardoz -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10509#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#10509: UnicodeSyntax documentation lists wrong symbols -------------------------------------+------------------------------------- Reporter: zardoz | Owner: zardoz Type: bug | Status: new Priority: normal | Milestone: 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: -------------------------------------+------------------------------------- Comment (by zardoz): Replying to [comment:1 thomie]:
Would you like to submit a patch?
Okay :) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10509#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#10509: UnicodeSyntax documentation lists wrong symbols -------------------------------------+------------------------------------- Reporter: zardoz | Owner: zardoz Type: bug | Status: patch Priority: normal | Milestone: 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 zardoz): * status: new => patch -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10509#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#10509: UnicodeSyntax documentation lists wrong symbols
-------------------------------------+-------------------------------------
Reporter: zardoz | Owner: zardoz
Type: bug | Status: patch
Priority: normal | Milestone:
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:
-------------------------------------+-------------------------------------
Comment (by Thomas Miedema

#10509: UnicodeSyntax documentation lists wrong symbols -------------------------------------+------------------------------------- Reporter: zardoz | Owner: zardoz Type: bug | Status: closed Priority: normal | Milestone: 7.12.1 Component: Documentation | Version: 7.10.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * status: patch => closed * resolution: => fixed * milestone: => 7.12.1 Comment: Thanks, looks good. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10509#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#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

#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:
-------------------------------------+-------------------------------------
Comment (by Gabor Pali

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