February 2014 - ghc-tickets

Re: [GHC] #7994: Make foldl into a good consumer
by GHC 10 Feb '14

10 Feb '14

#7994: Make foldl into a good consumer -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by nomeata): * status: new => closed * resolution: => fixed Comment: Heh, forgot to reference the ticket in the push. This has now been implemented in b63facef165b957183b65604ef99b2b8574747a5/base and requires the calla arity analysis (cdceadf365335fdee5ffa8e6364f7fb00bc4b0f7/ghc). This should not stop us from using superior approaches like Takano’s when they are ready. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7994#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #149: missed CSE opportunity
by GHC 10 Feb '14

10 Feb '14

#149: missed CSE opportunity -------------------------------------+------------------------------------- Reporter: nobody | Owner: Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 5.04.2 Resolution: None | Keywords: optimisations Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Runtime | Difficulty: Moderate (less performance bug | than a day) Test Case: T149 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Comment (by Joachim Breitner <mail@…>): In [changeset:"393ea739567206d848f53e9ca75f532a49218694/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="393ea739567206d848f53e9ca75f532a49218694" Update test cases due to call arity Some nice improvements on already succeeding test cases (#876, #7954 and #4267) Test #149 needed a little change, lest call arity causes a allocation change that we do not want to test here. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/149#comment:27> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4267: Strictness analyser is to conservative about passing a boxed parameter
by GHC 10 Feb '14

10 Feb '14

#4267: Strictness analyser is to conservative about passing a boxed parameter -------------------------------------+------------------------------------ Reporter: tibbe | Owner: nomeata Type: bug | Status: closed Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 6.13 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by Joachim Breitner <mail@…>): In [changeset:"393ea739567206d848f53e9ca75f532a49218694/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="393ea739567206d848f53e9ca75f532a49218694" Update test cases due to call arity Some nice improvements on already succeeding test cases (#876, #7954 and #4267) Test #149 needed a little change, lest call arity causes a allocation change that we do not want to test here. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4267#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #876: Length is not a good consumer
by GHC 10 Feb '14

10 Feb '14

#876: Length is not a good consumer --------------------------------------------+------------------------------ Reporter: ariep@… | Owner: Type: bug | Status: closed Priority: lowest | Milestone: 7.6.2 Component: libraries/base | Version: 6.5 Resolution: fixed | Keywords: length Operating System: Linux | Architecture: Type of failure: Runtime performance bug | Unknown/Multiple Test Case: perf/should_run/T876 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by Joachim Breitner <mail@…>): In [changeset:"393ea739567206d848f53e9ca75f532a49218694/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="393ea739567206d848f53e9ca75f532a49218694" Update test cases due to call arity Some nice improvements on already succeeding test cases (#876, #7954 and #4267) Test #149 needed a little change, lest call arity causes a allocation change that we do not want to test here. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/876#comment:28> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7954: Strictness analysis regression
by GHC 10 Feb '14

10 Feb '14

#7954: Strictness analysis regression --------------------------------------------+------------------------------ Reporter: chad.scherrer | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.2 Resolution: fixed | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Runtime performance bug | (amd64) Test Case: perf/should_run/T7954 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by Joachim Breitner <mail@…>): In [changeset:"393ea739567206d848f53e9ca75f532a49218694/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="393ea739567206d848f53e9ca75f532a49218694" Update test cases due to call arity Some nice improvements on already succeeding test cases (#876, #7954 and #4267) Test #149 needed a little change, lest call arity causes a allocation change that we do not want to test here. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7954#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7028: incorrect link paths for in mac os x after install
by GHC 10 Feb '14

10 Feb '14

#7028: incorrect link paths for in mac os x after install ------------------------------------------+-------------------------------- Reporter: andykitchen | Owner: leroux Type: bug | Status: infoneeded Priority: high | Milestone: 7.8.1 Component: Build System | Version: 7.4.2 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86_64 Type of failure: Installing GHC failed | (amd64) Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ------------------------------------------+-------------------------------- Comment (by darchon): I assume this is now fixed with #8266 ? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7028#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5462: Deriving clause for arbitrary classes
by GHC 10 Feb '14

10 Feb '14

#5462: Deriving clause for arbitrary classes -------------------------------------+------------------------------------ Reporter: simonpj | Owner: dreixel Type: feature request | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 7.2.1 Resolution: | Keywords: Generics Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #7346 -------------------------------------+------------------------------------ Changes (by basvandijk): * cc: v.dijk.bas@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5462#comment:26> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5462: Deriving clause for arbitrary classes
by GHC 10 Feb '14

10 Feb '14

#5462: Deriving clause for arbitrary classes -------------------------------------+------------------------------------ Reporter: simonpj | Owner: dreixel Type: feature request | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 7.2.1 Resolution: | Keywords: Generics Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #7346 -------------------------------------+------------------------------------ Changes (by kosmikus): * cc: mail@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5462#comment:25> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7346: Allow the use of `deriving` for GHC generics
by GHC 10 Feb '14

10 Feb '14

#7346: Allow the use of `deriving` for GHC generics -------------------------------------+------------------------------------ Reporter: kosmikus | Owner: dreixel Type: feature request | Status: closed Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #5462 -------------------------------------+------------------------------------ Changes (by dreixel): * status: new => closed * resolution: => duplicate * related: => #5462 Comment: Probably best to focus the discussion on #5462. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7346#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5462: Deriving clause for arbitrary classes
by GHC 10 Feb '14

10 Feb '14

#5462: Deriving clause for arbitrary classes -------------------------------------+------------------------------------ Reporter: simonpj | Owner: dreixel Type: feature request | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 7.2.1 Resolution: | Keywords: Generics Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #7346 -------------------------------------+------------------------------------ Comment (by dreixel): Replying to [comment:22 lerkok]: > Is there any progress on this ticket? Looks like milestone was changed to 7.6.2. I've got 7.6.3 installed, which does not seem to support such deriving instances. Do I need a particular flag to enable this? No, this was not implemented yet. But I like the idea, and I think Simon's specification is good (repeating here): ---- A class can appear in a deriving clause if (and only if) the class has at least one default foo :: type signature, and the class has a default method definition for every method. Thus: {{{ class C1 a where -- NO (no default method) op1 :: a -> a class C2 a where -- NO (non default method signature) op2 :: a -> a op2 x = x class C3 a where -- YES (both are present) op3 :: a -> a default op3 :: Ord a => a -> a op3 x = x>x }}} ---- Only thing left to answer is how to determine the context (in case of standard deriving; in standalone deriving, the user provides the context). For that, I think that Andres's proposal in #7346 sounds reasonable: ---- I propose that if normal deriving is used, GHC uses the same heuristic for figuring out the class context that it uses for Eq in the case of `*`-kinded classes, and for Functor in the case of `* -> *`-kinded classes. That may not be optimal or even wrong. But in such cases, standalone deriving can still be used. ---- If there is no opposition, I'm happy to have a go at implementing this. I agree with [comment:11 dterei] that Haddock and GHCi support would be desirable too. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5462#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0