- ghc-tickets - Haskell.org

Re: [GHC] #7189: RTS Assertion Crash
by GHC 22 Nov '14

22 Nov '14

#7189: RTS Assertion Crash -------------------------------------+------------------------------------- Reporter: sseverance | Owner: simonmar Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Runtime | Version: 7.4.2 System | Keywords: Resolution: duplicate | Architecture: x86_64 (amd64) Operating System: Linux | Difficulty: Unknown Type of failure: Runtime | Blocked By: crash | Related Tickets: #8014 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: infoneeded => closed * resolution: => duplicate Comment: Closing as a duplicate of #8014. Alas, we still don't have any way to reproduce this. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7189#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8014: Assertion failure when using multithreading in debug mode.
by GHC 22 Nov '14

22 Nov '14

#8014: Assertion failure when using multithreading in debug mode. -------------------------------------------+------------------------------ Reporter: Maxander | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: 7.10.1 Component: Runtime System | Version: 7.6.2 Resolution: | Keywords: rts Operating System: Unknown/Multiple | Architecture: x86 Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #7189 Differential Revisions: | -------------------------------------------+------------------------------ Changes (by thomie): * cc: simonmar (added) * component: Compiler => Runtime System Comment: Maxander: did you manage to find a way to reproduce this bug? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8014#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8015: Show warning when file-header pragma is used after module keyword (was: GHC is inconsistent about where LANGUAGE is unsupported.)
by GHC 22 Nov '14

22 Nov '14

#8015: Show warning when file-header pragma is used after module keyword -------------------------------------+------------------------------------- Reporter: | Owner: thoughtpolice | Status: new Type: feature | Milestone: request | Version: 7.6.3 Priority: normal | Keywords: parser Component: Compiler | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: Incorrect | warning at compile-time | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * type: bug => feature request Comment: thoughtpolice: please correct me if I misinterpreted this ticket. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8015#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8015: GHC is inconsistent about where LANGUAGE is unsupported.
by GHC 22 Nov '14

22 Nov '14

#8015: GHC is inconsistent about where LANGUAGE is unsupported. -------------------------------------+------------------------------------- Reporter: | Owner: thoughtpolice | Status: new Type: bug | Milestone: Priority: normal | Version: 7.6.3 Component: Compiler | Keywords: parser Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Incorrect | Related Tickets: warning at compile-time | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * difficulty: => Unknown * failure: GHC accepts invalid program => Incorrect warning at compile- time Comment: From the [https://downloads.haskell.org/~ghc/7.8.3/docs/html/users_guide/pragmas.html users guide]: > "A file-header pragma must precede the module keyword in the file." > "The file-header pragmas are: {-# LANGUAGE #-}, {-# OPTIONS_GHC #-}, and {-# INCLUDE #-}." So the scope of this ticket should in my opinion be: when any file-header pragma (not only an unsupported language pragma) is used after the module keyword, ghc should show a warning. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8015#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8023: dph-examples binaries don't use all CPUs
by GHC 22 Nov '14

22 Nov '14

#8023: dph-examples binaries don't use all CPUs -------------------------------------+------------------------------------- Reporter: Lethalman | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Data | Version: 7.6.3 Parallel Haskell | Keywords: Resolution: | Architecture: x86_64 (amd64) Operating System: Linux | Difficulty: Unknown Type of failure: Runtime | Blocked By: 7330 performance bug | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * difficulty: => Unknown Comment: Maybe a DPH guru can answer this question? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8023#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8025: "During interactive linking, GHCi couldn't find the following symbol" typechecker error with TemplateHaskell involved
by GHC 22 Nov '14

22 Nov '14

#8025: "During interactive linking, GHCi couldn't find the following symbol" typechecker error with TemplateHaskell involved -------------------------------------+------------------------------------- Reporter: mojojojo | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 (Type checker) | Keywords: Resolution: | Architecture: x86 Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Incorrect | Related Tickets: warning at compile-time | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => infoneeded * os: MacOS X => Unknown/Multiple Comment: {{{ $ sudo apt-get install p7zip $ 7zr x supabug.7z }}} Does anyone have an example that doesn't depend on `lens` or `yesod`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8025#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8031: Template Haskell gets confused with kind variables introduced in separate foralls
by GHC 22 Nov '14

22 Nov '14

#8031: Template Haskell gets confused with kind variables introduced in separate foralls -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Template | Version: 7.7 Haskell | Keywords: PolyKinds Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * keywords: TemplateHaskell PolyKinds => PolyKinds * component: Compiler => Template Haskell Comment: Module `S3` from the description compiles fine with 7.8.3 and HEAD, but not with 7.8.2. I think that means this ticket can be closed, once a regression test is added. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8031#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8034: Missing ambiguity test for class methods
by GHC 22 Nov '14

22 Nov '14

#8034: Missing ambiguity test for class methods -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.7 (Type checker) | 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: | -------------------------------------+------------------------------------- Changes (by thomie): * component: Compiler => Compiler (Type checker) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8034#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8036: Demand analyser is unpacking too deeply
by GHC 22 Nov '14

22 Nov '14

#8036: Demand analyser is unpacking too deeply -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: #7520 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by thomie): I don't know how to test if this is fixed or not. Quite a few changes have been made to the file `stranal/DmdAnal.lhs` since. The mentioned `pprtrace` is still commented out, but there are many others commented out as well. This ticket is currently not listed on [wiki:Status/SLPJ- Tickets]. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8036#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8046: Make the timer management scale better across multicore
by GHC 22 Nov '14

22 Nov '14

#8046: Make the timer management scale better across multicore ------------------------------------+------------------------------------- Reporter: tibbe | 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: | ------------------------------------+------------------------------------- A recent commit {{{ commit e843e73690f828498f6e33bb89f47a50c3ab2ac9 Author: Ian Lynagh <ian(a)well-typed.com> Date: Sat Jun 8 20:19:59 2013 +0100 IO manager: Edit the timeout queue directly, rather than using an edit list Fixes #7653. }}} undid an optimization to the management of timeouts (to fix a bug, which is good). We should check how much this hurt performance, but it might be better to rewrite the timeout management altogether. The current scheme scales poorly to several cores. We should probably have one priority queue per core and use an efficient mutable data structure. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8046> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2