[GHC] #10162: Add unicode syntax for banana brackets
#10162: Add unicode syntax for banana brackets -------------------------------------+------------------------------------- Reporter: zardoz | Owner: Type: feature | Status: new request | Milestone: Priority: low | Version: 7.8.4 Component: Compiler | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- While there is a “pretty” unicode alternative available for “-<“ within arrow notation (⤙), banana brackets can only be written as “(|” and “|)”, which is a bit of an eyesore when they are used in the middle of the fancy arrow glyphs. Maybe it would be convenient to add the following unicode alternatives, which to the best of my knowledge are mapped by default within the XCompose definitions shipped with XOrg. ⦆ right white parenthesis (U+2986) ⦅ left white parenthesis (U+2985) Alternatively, these would also correspond well with the plain ASCII syntax: ⦇ z notation left image bracket (U+2987) ⦈ z notation right image bracket (U+2988) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10162> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10162: Add unicode syntax for banana brackets -------------------------------------+------------------------------------- Reporter: zardoz | Owner: Type: feature request | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.8.4 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): I’ve noticed that this has been proposed before, in passing, but wasn’t part of the respective patch. https://ghc.haskell.org/trac/ghc/ticket/2978 Beside banana brackets, the ticket also proposed these, which seem to fit together nicely. • For TemplateHaskell: ⟦ ⟧ (MATHEMATICAL _ WHITE SQUARE BRACKET) can be used instead of [| |] • For Generics: ⦃ ⦄ (_ WHITE CURLY BRACKET) can be used instead of {| |} • For Arrows: ⦇ ⦈ (Z NOTATION _ IMAGE BRACKET) can be used instead of (| |) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10162#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10162: Add unicode syntax for banana brackets -------------------------------------+------------------------------------- Reporter: zardoz | Owner: Type: feature request | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.8.4 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): Please ask the glasgow-haskell-users mailinglist to see if other want this as well. See [wiki:WorkingConventions/AddingFeatures]. This is not going to get a lot of attention otherwise. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10162#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10162: Add unicode syntax for banana brackets -------------------------------------+------------------------------------- Reporter: zardoz | Owner: Type: feature request | Status: closed Priority: low | Milestone: ⊥ Component: Compiler | Version: 7.8.4 (Parser) | Keywords: unicode, Resolution: invalid | UnicodeSyntax Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * keywords: => unicode, UnicodeSyntax * resolution: => invalid * status: new => closed * component: Compiler => Compiler (Parser) * milestone: => ⊥ Comment: I'm closing some of these `unicode` related feature requests, as a discussion needs to happen first on one of the mailing lists. Please reopen this ticket once there is sufficient support. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10162#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10162: Add unicode syntax for banana brackets -------------------------------------+------------------------------------- Reporter: zardoz | Owner: Type: feature request | Status: new Priority: low | Milestone: ⊥ Component: Compiler | Version: 7.8.4 (Parser) | Keywords: unicode, Resolution: | UnicodeSyntax, newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by goldfire): * keywords: unicode, UnicodeSyntax => unicode, UnicodeSyntax, newcomer * status: closed => new * resolution: invalid => Comment: Though getting a groundswell of support for feature requests is indeed a good idea, this one here seems pretty obviously a good idea, to me. It's a great way for a newcomer to contribute! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10162#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10162: Add unicode syntax for banana brackets -------------------------------------+------------------------------------- Reporter: zardoz | Owner: JoshPrice247 Type: feature request | Status: new Priority: low | Milestone: ⊥ Component: Compiler | Version: 7.8.4 (Parser) | Keywords: unicode, Resolution: | UnicodeSyntax, newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by JoshPrice247): * owner: => JoshPrice247 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10162#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10162: Add unicode syntax for banana brackets -------------------------------------+------------------------------------- Reporter: zardoz | Owner: JoshPrice247 Type: feature request | Status: new Priority: low | Milestone: ⊥ Component: Compiler | Version: 7.8.4 (Parser) | Keywords: unicode, Resolution: | UnicodeSyntax, newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2012 Wiki Page: | -------------------------------------+------------------------------------- Changes (by JoshPrice247): * differential: => Phab:D2012 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10162#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10162: Add unicode syntax for banana brackets -------------------------------------+------------------------------------- Reporter: zardoz | Owner: JoshPrice247 Type: feature request | Status: new Priority: low | Milestone: ⊥ Component: Compiler | Version: 7.8.4 (Parser) | Keywords: unicode, Resolution: | UnicodeSyntax, newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2012 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Iceland_jack): Are there any plans of supporting idiom brackets? `⦇ Just 1 + Just 2 ⦈` could be used and Arrows are not used much at all -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10162#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10162: Add unicode syntax for banana brackets -------------------------------------+------------------------------------- Reporter: zardoz | Owner: JoshPrice247 Type: feature request | Status: new Priority: low | Milestone: ⊥ Component: Compiler | Version: 7.8.4 (Parser) | Keywords: unicode, Resolution: | UnicodeSyntax, newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2012 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"03a1bb4d010f94bed233ca261bf44e00c7bd9878/ghc" 03a1bb4d/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="03a1bb4d010f94bed233ca261bf44e00c7bd9878" Add unicode syntax for banana brackets Summary: Add "⦇" and "⦈" as unicode alternatives for "(|" and "|)" respectively. This must be implemented differently than other unicode additions because ⦇" and "⦈" are interpretted as a $unigraphic rather than a $unisymbol. Test Plan: validate Reviewers: goldfire, bgamari, austin Reviewed By: bgamari, austin Subscribers: thomie, mpickering Differential Revision: https://phabricator.haskell.org/D2012 GHC Trac Issues: #10162 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10162#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#10162: Add unicode syntax for banana brackets -------------------------------------+------------------------------------- Reporter: zardoz | Owner: JoshPrice247 Type: feature request | Status: closed Priority: low | Milestone: 8.2.1 Component: Compiler | Version: 7.8.4 (Parser) | Keywords: unicode, Resolution: fixed | UnicodeSyntax, newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2012 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * status: new => closed * resolution: => fixed * milestone: ⊥ => 8.2.1 Comment:
Are there any plans of supporting idiom brackets? ⦇ Just 1 + Just 2 ⦈ could be used and Arrows are not used much at all
I don't know of any work along these lines. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10162#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC