[GHC] #9900: Support pattern synonyms in GHCi

#9900: Support pattern synonyms in GHCi -------------------------------------+------------------------------------- Reporter: cactus | Owner: cactus Type: feature request | Status: new Priority: normal | Milestone: 7.10.1 Component: GHCi | Version: 7.8.3 Keywords: PatternSynonyms | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: 8749, 7253 | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Pattern synonyms are not parsed in GHCi: {{{ λ» :set -XPatternSynonyms λ» pattern P x = x <interactive>:5:1: parse error on input ‘pattern’ }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9900 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9900: Support pattern synonyms in GHCi -------------------------------------+------------------------------------- Reporter: cactus | Owner: cactus Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.8.3 Component: GHCi | Keywords: PatternSynonyms Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: 8749 7253 None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by cactus): * related: 8749, 7253 => 8749 7253 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9900#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9900: Support pattern synonyms in GHCi -------------------------------------+------------------------------------- Reporter: cactus | Owner: cactus Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.8.3 Component: GHCi | Keywords: PatternSynonyms Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #8749, #7253 None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by cactus): * related: 8749 7253 => #8749, #7253 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9900#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9900: Support pattern synonyms in GHCi -------------------------------------+------------------------------------- Reporter: cactus | Owner: cactus Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.8.3 Component: GHCi | Keywords: PatternSynonyms Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #8749, #7253 None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by cactus): As part of this, I would need to add `pattern ` as a declaration- introducing prefix to `InteractiveUI.declPrefixes`, but it has no way of being conditional on whether `PatternSynonyms` is turned on (see #9915). -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9900#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9900: Support pattern synonyms in GHCi -------------------------------------+------------------------------------- Reporter: cactus | Owner: cactus Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.8.3 Component: GHCi | Keywords: PatternSynonyms Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: 9915 Type of failure: | Related Tickets: #8749, #7253 None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by cactus): * blockedby: => 9915 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9900#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9900: Support pattern synonyms in GHCi -------------------------------------+------------------------------------- Reporter: cactus | Owner: cactus Type: feature | Status: new request | Milestone: 7.8.4 Priority: normal | Version: 7.8.3 Component: GHCi | Keywords: PatternSynonyms Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: 9915 Type of failure: GHC | Related Tickets: #8749, #7253 rejects valid program | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by cactus): * failure: None/Unknown => GHC rejects valid program * milestone: 7.10.1 => 7.8.4 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9900#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9900: Support pattern synonyms in GHCi -------------------------------------+------------------------------------- Reporter: cactus | Owner: cactus Type: feature | Status: new request | Milestone: 7.8.4 Priority: normal | Version: 7.8.3 Component: GHCi | Keywords: PatternSynonyms Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: 9915 Type of failure: GHC | Related Tickets: #8749, #7253 rejects valid program | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by cactus): I have a fix for this on the `wip/T9900` branch, but I'm waiting for instructions on how to trigger a Harbourmaster build on the branch before merging it to `master`. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9900#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9900: Support pattern synonyms in GHCi -------------------------------------+------------------------------------- Reporter: cactus | Owner: cactus Type: feature | Status: patch request | Milestone: 7.8.4 Priority: normal | Version: 7.8.3 Component: GHCi | Keywords: PatternSynonyms Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: 9915 Type of failure: GHC | Related Tickets: #8749, #7253 rejects valid program | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by cactus): * status: new => patch -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9900#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9900: Support pattern synonyms in GHCi -------------------------------------+------------------------------------- Reporter: cactus | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.8.3 Component: GHCi | Keywords: PatternSynonyms Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: 9915 Type of failure: GHC | Related Tickets: #8749, #7253 rejects valid program | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thoughtpolice): * owner: cactus => * status: patch => new * milestone: 7.8.4 => 7.10.1 Comment: This isn't making it to 7.8.4; it's already done. We can put it in for 7.10 RC2, though. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9900#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9900: Support pattern synonyms in GHCi -------------------------------------+------------------------------------- Reporter: cactus | Owner: cactus Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.8.3 Component: GHCi | Keywords: PatternSynonyms Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: 9915 Type of failure: GHC | Related Tickets: #8749, #7253 rejects valid program | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thoughtpolice): * owner: => cactus -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9900#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9900: Support pattern synonyms in GHCi -------------------------------------+------------------------------------- Reporter: cactus | Owner: cactus Type: bug | Status: patch Priority: normal | Milestone: 7.10.1 Component: GHCi | Version: 7.8.3 Resolution: | Keywords: PatternSynonyms Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: GHC | Blocked By: 9915 rejects valid program | Related Tickets: #8749, #7253 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by cactus): * status: new => patch * type: feature request => bug * milestone: 7.12.1 => 7.10.1 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9900#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9900: Support pattern synonyms in GHCi
-------------------------------------+-------------------------------------
Reporter: cactus | Owner: cactus
Type: bug | Status: patch
Priority: normal | Milestone: 7.10.1
Component: GHCi | Version: 7.8.3
Resolution: | Keywords: PatternSynonyms
Operating System: | Architecture: Unknown/Multiple
Unknown/Multiple | Difficulty: Unknown
Type of failure: GHC | Blocked By: 9915
rejects valid program | Related Tickets: #8749, #7253
Test Case: |
Blocking: |
Differential Revisions: |
-------------------------------------+-------------------------------------
Comment (by Dr. ERDI Gergo

#9900: Support pattern synonyms in GHCi -------------------------------------+------------------------------------- Reporter: cactus | Owner: cactus Type: bug | Status: merge Priority: normal | Milestone: 7.10.1 Component: GHCi | Version: 7.8.3 Resolution: | Keywords: PatternSynonyms Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: GHC | Blocked By: 9915 rejects valid program | Related Tickets: #8749, #7253 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by cactus): * status: patch => merge -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9900#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9900: Support pattern synonyms in GHCi
-------------------------------------+-------------------------------------
Reporter: cactus | Owner: cactus
Type: bug | Status: merge
Priority: normal | Milestone: 7.10.1
Component: GHCi | Version: 7.8.3
Resolution: | Keywords:
Operating System: Unknown/Multiple | PatternSynonyms
Type of failure: GHC rejects | Architecture:
valid program | Unknown/Multiple
Blocked By: 9915 | Test Case:
Related Tickets: #8749, #7253 | Blocking:
| Differential Revisions:
-------------------------------------+-------------------------------------
Comment (by Dr. ERDI Gergo

#9900: Support pattern synonyms in GHCi -------------------------------------+------------------------------------- Reporter: cactus | Owner: cactus Type: bug | Status: merge Priority: normal | Milestone: 7.10.1 Component: GHCi | Version: 7.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | PatternSynonyms Type of failure: GHC rejects | Architecture: valid program | Unknown/Multiple Blocked By: 9915 | Test Case: Related Tickets: #8749, #7253 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by cactus): Please make sure both of the above two commits are cherry-picked into 7.10. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9900#comment:15 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9900: Support pattern synonyms in GHCi -------------------------------------+------------------------------------- Reporter: cactus | Owner: cactus Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: GHCi | Version: 7.8.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | PatternSynonyms Type of failure: GHC rejects | Architecture: valid program | Unknown/Multiple Blocked By: 9915 | Test Case: Related Tickets: #8749, #7253 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by hvr): * status: merge => closed * resolution: => fixed Comment: merged with 1f59f9a218d85ca1e8a13b3fdf6f4ed0d6fcb7e7 and 14c198b41ded6a172a52ec02a39f0933f6676f47 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9900#comment:16 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC