- ghc-tickets - Haskell.org

Re: [GHC] #5462: Deriving clause for arbitrary classes
by GHC 22 Nov '14

22 Nov '14

#5462: Deriving clause for arbitrary classes -------------------------------------+------------------------------------- Reporter: simonpj | Owner: dreixel Type: feature | Status: closed request | Milestone: 7.10.1 Priority: normal | Version: 7.2.1 Component: Compiler | Keywords: Generics Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #7346 None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D476 | -------------------------------------+------------------------------------- Changes (by thoughtpolice): * status: patch => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5462#comment:48> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1476: Template Haskell: splicing types and patterns
by GHC 22 Nov '14

22 Nov '14

#1476: Template Haskell: splicing types and patterns -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: patch Priority: low | Milestone: 7.10.1 Component: Template | Version: 6.6.1 Haskell | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D433 | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"cfa574cea30b411080de5d641309bdf135ed9be5/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="cfa574cea30b411080de5d641309bdf135ed9be5" Update manual for pattern splices (#1476) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1476#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7484: Template Haskell allows building invalid record fields/names
by GHC 22 Nov '14

22 Nov '14

#7484: Template Haskell allows building invalid record fields/names -------------------------------------+------------------------------------- Reporter: iustin | Owner: Type: bug | Status: patch Priority: normal | Milestone: 7.10.1 Component: Template | Version: 7.6.1 Haskell | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #8750 None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D431 | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"dbf360a5264d5d6597e046dcd9b4f49effa91eee/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="dbf360a5264d5d6597e046dcd9b4f49effa91eee" Test #7484 in th/T7484 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7484#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7484: Template Haskell allows building invalid record fields/names
by GHC 22 Nov '14

22 Nov '14

#7484: Template Haskell allows building invalid record fields/names -------------------------------------+------------------------------------- Reporter: iustin | Owner: Type: bug | Status: patch Priority: normal | Milestone: 7.10.1 Component: Template | Version: 7.6.1 Haskell | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #8750 None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D431 | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"da2fca9e2be8c61c91c034d8c2302d8b1d1e7b41/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="da2fca9e2be8c61c91c034d8c2302d8b1d1e7b41" Fix #7484, checking for good binder names in Convert. This commit also refactors a bunch of lexeme-oriented code into a new module Lexeme, and includes a submodule update for haddock. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7484#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1476: Template Haskell: splicing types and patterns
by GHC 22 Nov '14

22 Nov '14

#1476: Template Haskell: splicing types and patterns -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: patch Priority: low | Milestone: 7.10.1 Component: Template | Version: 6.6.1 Haskell | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D433 | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"adb20a0aec89047af397ef8c3fcde78217e6e5f6/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="adb20a0aec89047af397ef8c3fcde78217e6e5f6" Test #1476 in th/T1476 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1476#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1476: Template Haskell: splicing types and patterns
by GHC 22 Nov '14

22 Nov '14

#1476: Template Haskell: splicing types and patterns -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: patch Priority: low | Milestone: 7.10.1 Component: Template | Version: 6.6.1 Haskell | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D433 | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"d627c5cf81fcce05ec160edc5be907297ff05c33/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="d627c5cf81fcce05ec160edc5be907297ff05c33" Test that nested pattern splices don't scope (#1476). Test case: th/T1476b. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1476#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1476: Template Haskell: splicing types and patterns
by GHC 22 Nov '14

22 Nov '14

#1476: Template Haskell: splicing types and patterns -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: patch Priority: low | Milestone: 7.10.1 Component: Template | Version: 6.6.1 Haskell | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D433 | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"2346de44330a4309b840e26ddd1ded23f92c6f81/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="2346de44330a4309b840e26ddd1ded23f92c6f81" Fix #1476 by making splice patterns work. Unfortunately, splice patterns in brackets still do not work because we don't run splices in brackets. Without running a pattern splice, we can't know what variables it binds, so we're stuck. This is still a substantial improvement, and it may be the best we can do. Still must document new behavior. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1476#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7484: Template Haskell allows building invalid record fields/names
by GHC 22 Nov '14

22 Nov '14

#7484: Template Haskell allows building invalid record fields/names -------------------------------------+------------------------------------- Reporter: iustin | Owner: Type: bug | Status: patch Priority: normal | Milestone: 7.10.1 Component: Template | Version: 7.6.1 Haskell | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #8750 None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D431 | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"1b22d9f288cbf819be90ec42b254fb1b67dded2d/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="1b22d9f288cbf819be90ec42b254fb1b67dded2d" Release notes for #1476, #7484. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7484#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1476: Template Haskell: splicing types and patterns
by GHC 22 Nov '14

22 Nov '14

#1476: Template Haskell: splicing types and patterns -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: patch Priority: low | Milestone: 7.10.1 Component: Template | Version: 6.6.1 Haskell | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D433 | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"1b22d9f288cbf819be90ec42b254fb1b67dded2d/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="1b22d9f288cbf819be90ec42b254fb1b67dded2d" Release notes for #1476, #7484. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1476#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8149: GHC should warn about redundant import of a type name also if one of its record selectors is imported
by GHC 21 Nov '14

21 Nov '14

#8149: GHC should warn about redundant import of a type name also if one of its record selectors is imported ------------------------------------+------------------------------------- Reporter: Lemming | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Sorry, I have another corner case for a redundant import warning: {{{ module Main where import Control.Monad.Trans.Writer (WriterT, runWriterT) main :: IO () main = undefined runWriterT }}} This module will not provoke a warning, although the import of WriterT can be omitted. I assume this is because runWriterT is a record selector of WriterT and could (or should?) be imported as: {{{ import Control.Monad.Trans.Writer (WriterT(runWriterT)) }}} Since I used runWriterT like a regular function I did not care about its record selector feature. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8149> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5