[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
#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