October 2013 - ghc-tickets

Re: [GHC] #4259: Relax restrictions on type family instance overlap
by GHC 09 Oct '13

09 Oct '13

#4259: Relax restrictions on type family instance overlap --------------------------------------------+------------------------------ Reporter: lilac | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 6.12.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: #8423 --------------------------------------------+------------------------------ Changes (by goldfire): * related: => #8423 Comment: See also #8423 to see an example of this issue in action in the context of closed type families. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4259#comment:30> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7919: Heap corruption (segfault) from large 'let' expression
by GHC 08 Oct '13

08 Oct '13

#7919: Heap corruption (segfault) from large 'let' expression -----------------------------------+---------------------------------- Reporter: duncan | Owner: simonmar Type: bug | Status: merge Priority: high | Milestone: 7.8.1 Component: Runtime System | Version: 7.6.3 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -----------------------------------+---------------------------------- Changes (by george.colpitts): * cc: george.colpitts@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7919#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7919: Heap corruption (segfault) from large 'let' expression
by GHC 08 Oct '13

08 Oct '13

#7919: Heap corruption (segfault) from large 'let' expression -----------------------------------+---------------------------------- Reporter: duncan | Owner: simonmar Type: bug | Status: merge Priority: high | Milestone: 7.8.1 Component: Runtime System | Version: 7.6.3 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -----------------------------------+---------------------------------- Changes (by george.colpitts): * cc: simonmar (added) Comment: Shouldn't the status be infoneeded rather than merge? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7919#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7783: MultiWayIf should start a new layout
by GHC 08 Oct '13

08 Oct '13

#7783: MultiWayIf should start a new layout --------------------------------------+------------------------------------ Reporter: exbb2 | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: Compiler (Parser) | Version: 7.6.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #4359 --------------------------------------+------------------------------------ Changes (by simonmar): * status: new => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7783#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7783: MultiWayIf should start a new layout
by GHC 08 Oct '13

08 Oct '13

#7783: MultiWayIf should start a new layout --------------------------------------+------------------------------------ Reporter: exbb2 | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler (Parser) | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #4359 --------------------------------------+------------------------------------ Comment (by Simon Marlow <marlowsd@…>): In [changeset:"d2013e85976cccde6c915211f8bcc26f2dc93e33/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="d2013e85976cccde6c915211f8bcc26f2dc93e33" docs for new layout behaviour with MultiWayIf (#7783) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7783#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7767: "internal error: evacuate: strange closure type 154886248" crash
by GHC 08 Oct '13

08 Oct '13

#7767: "internal error: evacuate: strange closure type 154886248" crash ------------------------------------+---------------------------------- Reporter: rodlogic | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Runtime System | Version: 7.6.2 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ------------------------------------+---------------------------------- Changes (by carter): * type: bug => feature request Comment: @Simon, I suspect schyler made a mistake on that note. So this ticket it about the possibility of exposing a GHC api to better support writing Heap introspection tools right? Should we split that out into its own ticket as a somewhat clearer feature request that cites this ticket? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7767#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7730: :info and polykinds
by GHC 08 Oct '13

08 Oct '13

#7730: :info and polykinds --------------------------------------------+------------------------------ Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by simonpj): Another example {{{ data T a = forall a. MkT a }}} The inner `a` shadows the outer one, so this really means: {{{ data T a where MkT :: forall b. b -> T a }}} but it displays as {{{ data T a where MkT :: a -> T a }}} which is desperately confusing. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7730#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2595: Implement record update for existential and GADT data types
by GHC 08 Oct '13

08 Oct '13

#2595: Implement record update for existential and GADT data types -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: feature request | Status: new Priority: normal | Milestone: 6.12 branch Component: Compiler | Version: 6.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: tc244 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by byorgey): * cc: byorgey@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2595#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7602: Threaded RTS performing badly on recent OS X (10.8?)
by GHC 08 Oct '13

08 Oct '13

#7602: Threaded RTS performing badly on recent OS X (10.8?) -----------------------------------+---------------------------------- Reporter: simonmar | Owner: thoughtpolice Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Runtime System | Version: 7.7 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: 7678 Blocking: | Related Tickets: -----------------------------------+---------------------------------- Comment (by simonmar): If somebody makes a patch to pass around `gct` explicitly, and it doesn't degrade performance on Linux, then I wouldn't object to putting it in. It would be good to remove our reliance on thread-local state, at the expense of a bit of extra code cruft. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7602#comment:30> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7767: "internal error: evacuate: strange closure type 154886248" crash
by GHC 08 Oct '13

08 Oct '13

#7767: "internal error: evacuate: strange closure type 154886248" crash -----------------------------------+---------------------------------- Reporter: rodlogic | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Runtime System | Version: 7.6.2 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -----------------------------------+---------------------------------- Comment (by simonmar): reading the above comments, this still looks like a feature request to me. @schyler, did you change it to "bug" for a reason? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7767#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0