- ghc-tickets - Haskell.org

Re: [GHC] #5916: runST isn't free
by GHC 06 Apr '13

06 Apr '13

#5916: runST isn't free ---------------------------------+------------------------------------------ Reporter: tibbe | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 7.4.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by carter): * cc: carter.schonwald@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5916#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5642: Deriving Generic of a big type takes a long time and lots of space
by GHC 06 Apr '13

06 Apr '13

#5642: Deriving Generic of a big type takes a long time and lots of space ---------------------------------+------------------------------------------ Reporter: basvandijk | Owner: dimitris Type: bug | Status: new Priority: high | Milestone: 7.6.2 Component: Compiler | Version: 7.3 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Compile-time performance bug Difficulty: Unknown | Testcase: T5642 Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by carter): * cc: carter.schonwald@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5642#comment:17> 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 06 Apr '13

06 Apr '13

#7346: Allow the use of `deriving` for GHC generics ---------------------------------+------------------------------------------ Reporter: kosmikus | Owner: dreixel Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by carter): * cc: carter.schonwald@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7346#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2439: Missed optimisation with dictionaries and loops
by GHC 06 Apr '13

06 Apr '13

#2439: Missed optimisation with dictionaries and loops ---------------------------------+------------------------------------------ Reporter: rl | Owner: simonpj Type: bug | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.9 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Runtime performance bug Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by carter): * cc: carter.schonwald@… (added) Comment: @simon changing the single method type class encoding would break edwardk's reflection library http://hackage.haskell.org/package/reflection (which exploits that newtype encoding for single method type classes) Is there a natural example where forcing that single method to whnf (if you mean that form of strictness) would be bad? -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2439#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 05 Apr '13

05 Apr '13

#6018: Injective type families ----------------------------------------+----------------------------------- Reporter: lunaris | Owner: simonpj Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Keywords: TypeFamilies, Injective | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #4259 | ----------------------------------------+----------------------------------- Comment(by morabbin): It turns out I was missing -XscopedTypeVariables. I'm still interested in injective type families, but it's not a blocker (and Manuel and Andrew's code still compiles). -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6018#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 05 Apr '13

05 Apr '13

#6018: Injective type families ----------------------------------------+----------------------------------- Reporter: lunaris | Owner: simonpj Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Keywords: TypeFamilies, Injective | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #4259 | ----------------------------------------+----------------------------------- Comment(by simonpj): Andy, No version of GHC had injective families. If you have code that you think should work, and used to, and doesn't now, by all means submit a but report! Simon -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6018#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7205: Re-introduce left/right coercion decomposition
by GHC 04 Apr '13

04 Apr '13

#7205: Re-introduce left/right coercion decomposition -------------------------------+-------------------------------------------- Reporter: simonpj | Owner: Type: feature request | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.4.2 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: gadt/T7205 | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Comment(by morabbin): That should #6018; apologies. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7205#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 04 Apr '13

04 Apr '13

#6018: Injective type families ----------------------------------------+----------------------------------- Reporter: lunaris | Owner: simonpj Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Keywords: TypeFamilies, Injective | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #4259 | ----------------------------------------+----------------------------------- Comment(by morabbin): Noting for completeness: possibly related to #7205 and #5591. Why I'm interested: I'm modeling the Java type system in Haskell (overload resolution in particular) a la chak and Andrew's Salsa, using type families and type functions heavily. Their code worked under earlier versions of GHC, but not under 7.4 and beyond. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6018#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7205: Re-introduce left/right coercion decomposition
by GHC 04 Apr '13

04 Apr '13

#7205: Re-introduce left/right coercion decomposition -------------------------------+-------------------------------------------- Reporter: simonpj | Owner: Type: feature request | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.4.2 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: gadt/T7205 | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Comment(by morabbin): See #6108; is this related? -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7205#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 04 Apr '13

04 Apr '13

#6018: Injective type families ----------------------------------------+----------------------------------- Reporter: lunaris | Owner: simonpj Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Keywords: TypeFamilies, Injective | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #4259 | ----------------------------------------+----------------------------------- Changes (by byorgey): * cc: byorgey@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6018#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0