Re: [GHC] #2978: Add support for more characters to UnicodeSyntax
#2978: Add support for more characters to UnicodeSyntax ---+ Reporter: porges| Owner: igloo Type: merge | Status: closed Priority: high | Milestone: 6.12.1 Component: Compiler |Version: 6.10.1 Resolution: fixed | Keywords: Difficulty: Unknown | Os: Unknown/Multiple Testcase:| Architecture: Unknown/Multiple Failure: None/Unknown | ---+ Changes (by Roel van Dijk): * cc: vandijk.r...@… (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2978#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #2978: Add support for more characters to UnicodeSyntax
#2978: Add support for more characters to UnicodeSyntax ---+ Reporter: porges| Owner: igloo Type: merge | Status: closed Priority: high | Milestone: 6.12.1 Component: Compiler |Version: 6.10.1 Resolution: fixed | Keywords: Difficulty: Unknown | Os: Unknown/Multiple Testcase:| Architecture: Unknown/Multiple Failure: None/Unknown | ---+ Changes (by igloo): * status: new = closed * resolution: = fixed Comment: Too late for 6.12.1, so will wait for 6.14.1. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2978#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #2978: Add support for more characters to UnicodeSyntax
#2978: Add support for more characters to UnicodeSyntax ---+ Reporter: porges| Owner: igloo Type: merge | Status: new Priority: high | Milestone: 6.12.1 Component: Compiler |Version: 6.10.1 Resolution:| Keywords: Difficulty: Unknown | Os: Unknown/Multiple Testcase:| Architecture: Unknown/Multiple Failure: None/Unknown | ---+ Changes (by simonmar): * owner: simonmar = igloo * failure: = None/Unknown * type: feature request = merge Comment: pushed: {{{ Fri Sep 18 06:03:33 PDT 2009 Simon Marlow marlo...@gmail.com * Apply patch from #2978: add more Unicode syntax Wed Nov 25 07:36:49 PST 2009 Simon Marlow marlo...@gmail.com * add docs for Unicode entities in #2978 }}} we could sneak this into 6.12.1, or otherwise it will have to wait until 6.14.1. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2978#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #2978: Add support for more characters to UnicodeSyntax
#2978: Add support for more characters to UnicodeSyntax -+-- Reporter: porges|Owner: simonmar Type: feature request | Status: new Priority: high |Milestone: 6.12.1 Component: Compiler | Version: 6.10.1 Severity: normal| Resolution: Keywords:| Difficulty: Unknown Testcase:| Os: Unknown/Multiple Architecture: Unknown/Multiple | -+-- Changes (by PHO): * cc: p...@cielonegro.org (added) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2978#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #2978: Add support for more characters to UnicodeSyntax
#2978: Add support for more characters to UnicodeSyntax -+-- Reporter: porges|Owner: simonmar Type: feature request | Status: new Priority: high |Milestone: 6.12.1 Component: Compiler | Version: 6.10.1 Severity: normal| Resolution: Keywords:| Difficulty: Unknown Testcase:| Os: Unknown/Multiple Architecture: Unknown/Multiple | -+-- Changes (by pumpkin): * cc: pumpkin...@gmail.com (added) Comment: This is related to #1102 (which I just reopened with some more talk about the options, if anyone's interested) -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2978#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #2978: Add support for more characters to UnicodeSyntax
#2978: Add support for more characters to UnicodeSyntax -+-- Reporter: porges|Owner: simonmar Type: feature request | Status: new Priority: high |Milestone: 6.12.1 Component: Compiler | Version: 6.10.1 Severity: normal| Resolution: Keywords:| Difficulty: Unknown Testcase:| Os: Unknown/Multiple Architecture: Unknown/Multiple | -+-- Changes (by simonmar): * owner: = simonmar -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2978#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #2978: Add support for more characters to UnicodeSyntax
#2978: Add support for more characters to UnicodeSyntax -+-- Reporter: porges|Owner: Type: feature request | Status: new Priority: high |Milestone: 6.12.1 Component: Compiler | Version: 6.10.1 Severity: normal| Resolution: Keywords:| Difficulty: Unknown Testcase:| Os: Unknown/Multiple Architecture: Unknown/Multiple | -+-- Changes (by igloo): * milestone: 6.12 branch = 6.12.1 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2978#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #2978: Add support for more characters to UnicodeSyntax
#2978: Add support for more characters to UnicodeSyntax -+-- Reporter: porges|Owner: Type: feature request | Status: new Priority: high |Milestone: 6.12 branch Component: Compiler | Version: 6.10.1 Severity: normal| Resolution: Keywords:| Difficulty: Unknown Testcase:| Os: Unknown/Multiple Architecture: Unknown/Multiple | -+-- Changes (by igloo): * priority: normal = high * difficulty: = Unknown * milestone: = 6.12 branch Comment: Thanks for the patch! We'll take a look -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2978#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[GHC] #2978: Add support for more characters to UnicodeSyntax
#2978: Add support for more characters to UnicodeSyntax -+-- Reporter: porges| Owner: Type: feature request | Status: new Priority: normal| Component: Compiler Version: 6.10.1| Severity: normal Keywords:| Testcase: Os: Unknown/Multiple | Architecture: Unknown/Multiple -+-- Here is a short patch to add support for some more Unicode characters when GHC is used with the -XUnicodeSyntax extension. 1. The following are enabled when used with Arrows: * `⤙` (LEFTWARDS ARROW-TAIL) = `-` * `⤚` (RIGHTWARDS ARROW-TAIL) = `-` * `⤛` (LEFTWARDS DOUBLE ARROW-TAIL) = `-` * `⤜` (RIGHTWARDS DOUBLE ARROW-TAIL) = `-` 2. The star '`★`' is allowed instead of '`*`' in kind signatures. I would also like to propose a couple of changes that I have been unable to figure out how to implement myself (I tried adding them to Lexer.x but this had no effect). They all follow a similar theme: * 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://hackage.haskell.org/trac/ghc/ticket/2978 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs