September 2013 - ghc-tickets

Re: [GHC] #2204: Improve 'patterns not matched' warnings
by GHC 22 Sep '13

22 Sep '13

#2204: Improve 'patterns not matched' warnings -------------------------------------+------------------------------------ Reporter: Deewiant | Owner: Type: feature request | Status: new Priority: low | Milestone: _|_ Component: Compiler | Version: 6.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by simonpj): See also #5724 (closed as dup) for another report. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2204#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7574: Register allocator chokes on certain branches with literals
by GHC 22 Sep '13

22 Sep '13

#7574: Register allocator chokes on certain branches with literals -------------------------------------+------------------------------------- Reporter: thoughtpolice | Owner: simonmar Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Compiler (NCG) | Version: 7.7 Resolution: | Keywords: ncg, codegen Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Compile-time | Difficulty: Unknown crash | Blocked By: 7573 Test Case: | Related Tickets: #7571,#7534, codeGen/should_compile/T7574 | #7814 Blocking: | -------------------------------------+------------------------------------- Changes (by hvr): * cc: hvr (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7574#comment:27> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8113: Cannot override ghci builtin commands with :def[!]
by GHC 22 Sep '13

22 Sep '13

#8113: Cannot override ghci builtin commands with :def[!] -------------------------------------+------------------------------------- Reporter: duncan | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: GHCi | Version: 7.6.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Other | Difficulty: Easy (less than 1 Test Case: | hour) ghci/scripts/T8113 | Blocked By: Blocking: | Related Tickets: #8305 -------------------------------------+------------------------------------- Changes (by hvr): * related: => #8305 Comment: Note: The builtin/custom precedence issue is continued in #8305 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8113#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2184: if findExecutable finds a file that matchs the argument, check if it is an executable
by GHC 22 Sep '13

22 Sep '13

#2184: if findExecutable finds a file that matchs the argument, check if it is an executable -------------------------------------+------------------------------------- Reporter: iago | Owner: leroux Type: bug | Status: patch Priority: lowest | Milestone: 7.6.2 Component: | Version: 6.8.2 libraries/directory | Keywords: findExecutable Resolution: | check executable Operating System: Linux | Architecture: x86 Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Comment (by leroux): I've implemented findFiles, findFilesWith, and findExecutables as convenience functions. `findFilesWith` checks for existence and applies another boolean functions for filtering purposes (such as checking permission bits). `findFiles` and `findExecutables` are special cases of `findFilesWith`. `findFile` and `findExecutable` are now simply `listToMaybe` of `findFiles` and `findExecutables` respectively. I also took thoughtpolice's views on what a correct implementation is (fyi). attachment:0001-Fixes-2184-findExecutable-is-correctly- implemented-t.patch This ticket is ready for another review to be merged in. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2184#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5144: Pattern synonyms
by GHC 22 Sep '13

22 Sep '13

#5144: Pattern synonyms -------------------------------------+------------------------------------ Reporter: simonpj | Owner: cactus Type: feature request | Status: new Priority: normal | Milestone: _|_ Component: Compiler | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by cactus): Based on discussions with SPJ, I've updated the PatternSynonyms proposal and redesigned the implementation to postpone the instantiation of pattern synonyms until the desugarer. See the updated implementation at https://github.com/gergoerdi/ghc/tree/pattern-synonyms Basically, the old implementation was pretty much unsalvageable for patterns mentioning non-Haskell98 data constructors. The new one works nicely with unconstrained and constrained existential types. On the features front, I've added explicit syntax for unidirectional vs. bidirectional patterns. The tentative syntax is: {{{ pattern Head x -> (x:_) -- pattern-only synonym pattern Single x = [x] -- bidirectional synonym }}} So now you can rewrite the second one as {{{ pattern Single x -> [x] }}} and it will not introduce a new virtual constructor to be used in expressions. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5144#comment:33> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7987: GHC Build Error
by GHC 22 Sep '13

22 Sep '13

#7987: GHC Build Error ----------------------------------------+------------------------------ Reporter: singpolyma | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: x86 Type of failure: Building GHC failed | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------------+------------------------------ Changes (by monoidal): * status: new => infoneeded Comment: Is the problem still present? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7987#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5724: Confusing warning message for incomplete patterns
by GHC 22 Sep '13

22 Sep '13

#5724: Confusing warning message for incomplete patterns -------------------------------------+------------------------------------ Reporter: AntoineLatter | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 7.3 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by monoidal): * status: infoneeded => closed * resolution: => duplicate Comment: Closing as duplicate of #2204. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5724#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8037: GHC panic when compiling unsafeCoerce
by GHC 21 Sep '13

21 Sep '13

#8037: GHC panic when compiling unsafeCoerce ---------------------------------+------------------------------------ Reporter: ghc@… | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: MacOS X | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ---------------------------------+------------------------------------ Comment (by monoidal): OpenGL doesn't have the invalid cast; the original reporter wrote it him/herself. So it's a problem that GHC panics on a rather artificial program. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8037#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8037: GHC panic when compiling unsafeCoerce
by GHC 21 Sep '13

21 Sep '13

#8037: GHC panic when compiling unsafeCoerce ---------------------------------+------------------------------------ Reporter: ghc@… | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: MacOS X | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ---------------------------------+------------------------------------ Comment (by simonpj): Great test case. You'll see that it unsafely converts a data value with three fields to one with four. I grant that this shouldn't make GHC fail, but it's very likely to lead to a runtime crash. If this is what OpenGL is really doing, I am highly dubious! Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8037#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7436: Derived Foldable and Traversable instances become extremely inefficient due to eta-expansion
by GHC 21 Sep '13

21 Sep '13

#7436: Derived Foldable and Traversable instances become extremely inefficient due to eta-expansion --------------------------------------------+------------------------------ Reporter: shachaf | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.6.3 Component: Compiler | Version: 7.6.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime performance bug | Unknown/Multiple Test Case: perf/should_runt/T7436 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Changes (by monoidal): * status: merge => closed Comment: It has been fixed in HEAD long time ago, but was not merged into 7.6. Since 7.6.4 is not officially planned, I'm closing the ticket. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7436#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0