[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 <thomasmiedema@…>): In [changeset:"016bbfd261b91193baa99ec008b469a70c66b8be/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="016bbfd261b91193baa99ec008b469a70c66b8be" docs: Fix unicode alternatives table (fixes #10509). The alternatives table gave the wrong glyphs for LEFTWARDS resp. RIGHTWARDS ARROW-TAIL notation. The listed codepoint was correct, but the entities corresponded to characters different from those codepoints. This also adds the glyphs for LEFTWARDS resp. RIGHTWARDS DOUBLE ARROW-TAIL, which were formerly missing, and the PROPORTION glyph, which was formerly given as ASCII. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10509#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#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 <pali.gabor@…>): In [changeset:"440d1bc1f5fa4d31f1f7bc45f3f3485733509313/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="440d1bc1f5fa4d31f1f7bc45f3f3485733509313" docs: Unbreak the PS/PDF builds for the User's Guide (#10509) dblatex can only translate the Unicode glyphs introduced in #10509 for LaTeX if the `latex.unicode.use=1` flag is set, otherwise it will just fail. However, note that adding this flag is not going to fully solve the problem as those symbols are not known by LaTeX, so the corresponding character codes will be added instead to the resulting PS/PDF files. Hence it is considered an interim solution only, not a true fix, until a better one is found. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10509#comment:8> 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: 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 <thomasmiedema@…>): In [changeset:"14c4090e384d9ac5bf434a8a77bbf552bf463023/ghc" 14c4090e/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="14c4090e384d9ac5bf434a8a77bbf552bf463023" Pretty: fix unicode arrow operators. As per issue #10509, the documentation gave the wrong glyphs for Unicode alternatives to the -< and >- arrow operators (the codepoints were correct, but the glyphs were not). The incorrect glyphs have also made it into the error output. This replaces those characters with the correct versions. GHC Trac Issues: #10883 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10509#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC