[GHC] #8841: PatternSynonyms error gives wrong source locations
#8841: PatternSynonyms error gives wrong source locations -------------------------+------------------------------------------------- Reporter: | Owner: Iceland_jack | Status: new Type: bug | Milestone: 7.8.1 Priority: low | Version: 7.8.1-rc2 Component: | Operating System: Linux Compiler | Type of failure: Incorrect warning at Keywords: | compile-time PatternSynonyms | Test Case: Architecture: x86 | Blocking: Difficulty: | Unknown | Blocked By: | Related Tickets: | -------------------------+------------------------------------------------- Using an example from the [http://www.haskell.org/ghc/docs/7.8.1-rc1/html/users_guide/syntax- extns.html GHC user's guide] but omitting the argument to `Maybe` {{{ {-# LANGUAGE PatternSynonyms #-} data Type = App String [Type] pattern Maybe = App "Maybe" [t] }}} gives the following error without the correct source locations {{{ ghci> :load /tmp/failure.hs [1 of 1] Compiling Main ( /tmp/failure.hs, interpreted ) /tmp/failure.hs:1:1: Right-hand side of bidirectional pattern synonym cannot be used as an expression App "Maybe" [t] Failed, modules loaded: none. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8841> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8841: PatternSynonyms error gives wrong source locations -------------------------------------------------+------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: low | Milestone: 7.8.1 Component: Compiler | Version: Resolution: | 7.8.1-rc2 Operating System: Linux | Keywords: Type of failure: Incorrect warning at | PatternSynonyms compile-time | Architecture: x86 Test Case: patsyn/unidir | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by simonpj): * testcase: => patsyn/unidir -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8841#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8841: PatternSynonyms error gives wrong source locations -------------------------------------------------+------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: low | Milestone: 7.8.1 Component: Compiler | Version: Resolution: | 7.8.1-rc2 Operating System: Linux | Keywords: Type of failure: Incorrect warning at | PatternSynonyms compile-time | Architecture: x86 Test Case: patsyn/unidir | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"96daafc3305a691590b88c1175a8f45e5d327471/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="96daafc3305a691590b88c1175a8f45e5d327471" Attach the right location to pattern synonym error message (fixes Trac #8841) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8841#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8841: PatternSynonyms error gives wrong source locations -------------------------------------------------+------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: low | Milestone: 7.8.1 Component: Compiler | Version: Resolution: | 7.8.1-rc2 Operating System: Linux | Keywords: Type of failure: Incorrect warning at | PatternSynonyms compile-time | Architecture: x86 Test Case: patsyn/unidir | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"bf9bf602399eca30ca522ae5bae52d4f3ec1ab88/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="bf9bf602399eca30ca522ae5bae52d4f3ec1ab88" Test for Trac #8841 now works }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8841#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8841: PatternSynonyms error gives wrong source locations -------------------------------------------------+------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: merge Priority: low | Milestone: 7.8.1 Component: Compiler | Version: Resolution: | 7.8.1-rc2 Operating System: Linux | Keywords: Type of failure: Incorrect warning at | PatternSynonyms compile-time | Architecture: x86 Test Case: patsyn/unidir | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by simonpj): * status: new => merge Comment: Easy fix, happily. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8841#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#8841: PatternSynonyms error gives wrong source locations -------------------------------------------------+------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: Priority: low | closed Component: Compiler | Milestone: 7.8.1 Resolution: fixed | Version: Operating System: Linux | 7.8.1-rc2 Type of failure: Incorrect warning at | Keywords: compile-time | PatternSynonyms Test Case: patsyn/unidir | Architecture: x86 Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by thoughtpolice): * status: merge => closed * resolution: => fixed Comment: Merged in 7.8. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8841#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC