February 2013 - ghc-tickets

Re: [GHC] #2600: Bind type variables in RULES
by GHC 03 Feb '13

03 Feb '13

#2600: Bind type variables in RULES ---------------------------------+------------------------------------------ Reporter: simonpj | Owner: simonpj Type: feature request | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.3 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #2110 | ---------------------------------+------------------------------------------ Changes (by morabbin): * related: => #2110 -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2600#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2467: orphan instance warnings are badly behaved
by GHC 03 Feb '13

03 Feb '13

#2467: orphan instance warnings are badly behaved ---------------------------------+------------------------------------------ Reporter: duncan | Owner: Type: bug | Status: new Priority: normal | Milestone: _|_ Component: Compiler | Version: 6.8.2 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by morabbin): Has our thinking on orphaned instances evolved? -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2467#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2526: warn about missing signatures only for exported functions
by GHC 03 Feb '13

03 Feb '13

#2526: warn about missing signatures only for exported functions ---------------------------------+------------------------------------------ Reporter: fergushenderson | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.3 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by morabbin): * cc: andy.adamsmoran@… (added) * failure: => None/Unknown -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2526#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2522: Warning for missing export lists
by GHC 03 Feb '13

03 Feb '13

#2522: Warning for missing export lists ---------------------------------+------------------------------------------ Reporter: tim | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.3 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by morabbin): * failure: => None/Unknown Comment: Methinks this sort of warning is better suited for the likes of `hlint` -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2522#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2507: quotation characters in error messages
by GHC 03 Feb '13

03 Feb '13

#2507: quotation characters in error messages ---------------------------------+------------------------------------------ Reporter: Isaac Dupree | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.3 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #2811,#3398 | ---------------------------------+------------------------------------------ Changes (by morabbin): * related: => #2811,#3398 Comment: Since #2811 is closed:fixed, ought this be doable? -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2507#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2530: deriving Show adds extra parens for constructor with record syntax
by GHC 03 Feb '13

03 Feb '13

#2530: deriving Show adds extra parens for constructor with record syntax ---------------------------------+------------------------------------------ Reporter: spl | Owner: Type: bug | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.3 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by morabbin): I don't think that the fact that [http://hackage.haskell.org/trac/haskell- prime/wiki/StricterLabelledFieldSyntax the GHC variant] wasn't voted suprem justifies making what is really just a cosmetic change. The case for change is pretty weak, since the GHC variant (with parens) is not at all ambiguous (clarity is next to godliness, etc,), and is semantically equivalent to the Hugs/Haskell 98 variant. Close as wontfix, I say! -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2530#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2548: validate should continue if it sees warnings or haddock failures
by GHC 03 Feb '13

03 Feb '13

#2548: validate should continue if it sees warnings or haddock failures ---------------------------------+------------------------------------------ Reporter: igloo | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.6.2 Component: Build System | Version: 6.8.3 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by morabbin): This seems fixed now? -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2548#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #709: "Fixup too large" error with -fasm on PowerPC
by GHC 03 Feb '13

03 Feb '13

#709: "Fixup too large" error with -fasm on PowerPC ----------------------------------+----------------------------------------- Reporter: simonmar | Owner: Type: bug | Status: patch Priority: low | Milestone: 6.8.1 Component: Compiler (NCG) | Version: 7.7 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: powerpc Failure: Building GHC failed | Difficulty: Moderate (less than a day) Testcase: | Blockedby: Blocking: | Related: ----------------------------------+----------------------------------------- Comment(by PHO): I rebased my [https://github.com/phonohawk/ghc/commit/aa1d7d35ac27625c9aa67fe71c186f79600… second] and [https://github.com/phonohawk/ghc/commit/3cedbfb49996da2f029b4a84ca39f4d21f3… third patch]: {{{ % git fetch http://github.com/phonohawk/ghc.git ticket-709 }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/709#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7459: deriving Generic does not work with TypeLits
by GHC 02 Feb '13

02 Feb '13

#7459: deriving Generic does not work with TypeLits ---------------------------------+------------------------------------------ Reporter: maxtaldykin | Owner: dreixel Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Other Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by nathanhowell): * cc: nathanhowell@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7459#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2456: For higher kinds, instance declarations need quantification in the context
by GHC 02 Feb '13

02 Feb '13

#2456: For higher kinds, instance declarations need quantification in the context -------------------------------+-------------------------------------------- Reporter: ronwalf | Owner: Type: feature request | Status: new Priority: normal | Milestone: _|_ Component: Compiler | Version: 6.9 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: x86 Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Comment(by goldfire): In response to the type system question: Essentially, yes, if something is expressible in FC, then it must* be good. But, I know of two loopholes in FC: unsafe coercions (we all knew that), and the !GeneralizedNewtypeDeriving bug (see #1496, #4846, which seem, to me, to be duplicates). *FC is a complicated beast these days, and though we've proved it type- safe in theory, we can't be sure in practice. :) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2456#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0