March 2017 - ghc-tickets

Re: [GHC] #947: ghc -O space leak: CSE between different CAFs
by GHC 23 Mar '17

23 Mar '17

#947: ghc -O space leak: CSE between different CAFs ---------------------------------+------------------------------ Reporter: int-e@… | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 6.5 Resolution: | Keywords: CSE Operating System: Linux | Architecture: x86 Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | ---------------------------------+------------------------------ Changes (by simonpj): * keywords: => CSE -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/947#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #149: missed CSE opportunity
by GHC 23 Mar '17

23 Mar '17

#149: missed CSE opportunity -------------------------------------+------------------------------------- Reporter: nobody | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 5.04.2 Resolution: None | Keywords: | optimisations, CSE Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: T149 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonpj): * keywords: optimisations => optimisations, CSE -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/149#comment:30> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13469: -fdefer-type-errors for Backpack
by GHC 23 Mar '17

23 Mar '17

#13469: -fdefer-type-errors for Backpack -------------------------------------+------------------------------------- Reporter: ezyang | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 8.1 Keywords: backpack | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- It would be great if `-fdefer-type-errors` worked with Backpack. There are two senses in which it could work: 1. When matching signatures, if the instantiating module didn't provide a required function, we could just create one out of thin air so we can continue building. 2. When matching signature, if the implementation doesn't match the signature, we instead create a deferred type error. (2) is more difficult because it basically requires us to solve #12703. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13469> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13460: StandardTargets wiki page is out of date
by GHC 23 Mar '17

23 Mar '17

#13460: StandardTargets wiki page is out of date -------------------------------------+------------------------------------- Reporter: osa1 | Owner: (none) Type: task | Status: new Priority: lowest | Milestone: Component: Documentation | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I was looking for the target for building the user manual so I checked https://ghc.haskell.org/trac/ghc/wiki/Building/StandardTargets. Unfortunately none of the "documentation targets" seem to work. I tried those targets in {{{./}}}, {{{./docs}}}, and {{{./docs/users_guide}}}. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13460> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #13456: GHCi run commands that are not documented in Users Guide Documentation
by GHC 23 Mar '17

23 Mar '17

#13456: GHCi run commands that are not documented in Users Guide Documentation -------------------------------------+------------------------------------- Reporter: vanto | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 8.0.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Other Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Hi, GHCi commands all begin with {{{:}}} and the command name may be abbreviated.\\ if you write {{{:}}} add to the command, for example:\\ {{{::l}}} or {{{::r}}} or {{{::set +m}}} and so on, the command run\\ on the other hand {{{::}}} do not run\\ Hope this help -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13456> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #7596: Opportunity to improve CSE
by GHC 23 Mar '17

23 Mar '17

#7596: Opportunity to improve CSE -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.1 Resolution: | Keywords: CSE Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by ezyang): * keywords: => CSE -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7596#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2940: Do CSE after CorePrep
by GHC 23 Mar '17

23 Mar '17

#2940: Do CSE after CorePrep -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: lowest | Milestone: Component: Compiler | Version: 6.10.1 Resolution: | Keywords: CSE Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by ezyang): * keywords: => CSE -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2940#comment:25> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5344: CSE should look through coercions
by GHC 23 Mar '17

23 Mar '17

#5344: CSE should look through coercions -------------------------------------+------------------------------------- Reporter: reinerp | Owner: (none) Type: feature request | Status: new Priority: low | Milestone: ⊥ Component: Compiler | Version: 7.0.3 Resolution: | Keywords: CSE Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by ezyang): * keywords: cse => CSE -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5344#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #701: Better CSE optimisation
by GHC 23 Mar '17

23 Mar '17

#701: Better CSE optimisation -------------------------------------+------------------------------------- Reporter: simonmar | Owner: michalt Type: task | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 6.4.1 Resolution: | Keywords: CSE Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: N/A Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by ezyang): * keywords: => CSE -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/701#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13219: CSE for join points
by GHC 23 Mar '17

23 Mar '17

#13219: CSE for join points -------------------------------------+------------------------------------- Reporter: lukemaurer | Owner: lukemaurer Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.1 Keywords: JoinPoints | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Join points are hazardous for CSE: {{{ join j = e in ... f e ... }}} The temptation is of course to rewrite to {{{ join j = e in ... f (jump j) ... }}} which doesn't typecheck because you can't have a jump in an argument. Similarly: {{{ join j x = e in let y = (... join j2 x = e in ...) in ... }}} can't be rewritten to {{{ join j x = e in let y = (... join j2 x = jump j x ...) in ... }}} because you can't jump out of a value binding. This doesn't seem to come up very often (took a long time for me to trip over it). The simple solution is simply to ignore CSE for join points. That's what we do at the moment. But this is saddening in some cases: {{{ join j x = e in join j2 x = e in ... }}} can perfectly well become {{{ join j x = e in join j2 x = jump j x in ... }}} We just need to track which join points are still currently valid. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13219> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2