June 2013 - ghc-tickets

Re: [GHC] #2110: Rules to eliminate casted id's
by GHC 26 Jun '13

26 Jun '13

#2110: Rules to eliminate casted id's ---------------------------------+------------------------------------------ Reporter: igloo | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.2 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by nomeata): Today I got the chance to talk to SPJ in person about this and we discussed a few variants to solve this. One promising variant, not much different from sweirich’s comment, is now summarized at ExposingNewtypeCoercions. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2110#comment:32> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 25 Jun '13

25 Jun '13

#4012: Compilation results are not deterministic -------------------------------+-------------------------------------------- Reporter: kili | Owner: Type: bug | Status: new Priority: high | Milestone: 7.6.2 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Other | Difficulty: Difficult (2-5 days) Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by shacka): * cc: shacka@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4012#comment:38> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7803: Superclass methods are left unspecialized
by GHC 25 Jun '13

25 Jun '13

#7803: Superclass methods are left unspecialized -----------------------------------------+---------------------------------- Reporter: akio | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.2 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Compile-time performance bug | Blockedby: Blocking: | Related: -----------------------------------------+---------------------------------- In the attached code, Foo.foo1 gets compiled (by ghc -O2) into a call to the unspecialized version of Lib.exp5Tail, even though all the related functions are marked INLINE or SPECIALIZE. The problem seems to be that GHC creates a top-level overloaded function after the specialization pass, so the function never gets specialized. This might be the same issue as #7785, but the workaround I posted there does not work here. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7803> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

2 4

[GHC] #7989: "No constructor has all these fields" message can be improved
by GHC 25 Jun '13

25 Jun '13

#7989: "No constructor has all these fields" message can be improved -----------------------------+---------------------------------------------- Reporter: akio | Owner: Type: feature request | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Other | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- When a record update syntax contains fields from multiple constructors, you get an error message like this: {{{ module Foo where data A = A {a0, a1 :: Int} data B = B {b0, b1 :: Int} f x = x { a0 = 3, a1 = 2, b0 = 4, b1 = 5 } }}} {{{ datacon.hs:6:7: No constructor has all these fields: `a0', `a1', `b0', `b1' In the expression: x {a0 = 3, a1 = 2, b0 = 4, b1 = 5} In an equation for `f': f x = x {a0 = 3, a1 = 2, b0 = 4, b1 = 5} }}} However, this message becomes rather unhelpful when you are updating many (say 100) fields at once, because it doesn't say which field is causing the problem. I think it would be better if it only listed two conflicting field names like: {{{ No constructor has these two fields: `a0', `b0' }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7989> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #8011: -ddump-minimal-imports creates incorrect imports for associated types
by GHC 25 Jun '13

25 Jun '13

#8011: -ddump-minimal-imports creates incorrect imports for associated types -----------------------------+---------------------------------------------- Reporter: dsf | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.3 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- If you have a module URL.hs: {{{ {-# LANGUAGE TypeFamilies #-} module URL (ToURL(toURL, nullURL, errorURL), URLT) where class ToURL a where type URLT a toURL :: a -> URLT a nullURL :: a errorURL :: a -> URLT a }}} And a module that uses it Tmp.hs: {{{ {-# LANGUAGE FlexibleContexts #-} module Tmp ( clean ) where import Data.Char (isAlphaNum) import Data.List (dropWhile) import URL clean :: (ToURL url, Show (URLT url)) => url -> String clean = filter isAlphaNum . show . toURL }}} when you run {{{ghc -ddump-minimal-imports Tmp.hs}}} the resulting {{{Tmp.imports}}} will contain the line {{{ import URL ( ToURL(URLT, toURL) ) }}} but it should contain {{{ import URL ( ToURL(toURL), URLT ) }}} This affects both associated type and associated type synonym declarations. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/8011> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #5248: Infer type context in a type signature
by GHC 25 Jun '13

25 Jun '13

#5248: Infer type context in a type signature ----------------------------------------+----------------------------------- Reporter: gidyn | Owner: Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler (Type checker) | Version: 7.0.3 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: GHC rejects valid program Difficulty: | Testcase: Blockedby: | Blocking: Related: | ----------------------------------------+----------------------------------- Changes (by gidyn): * cc: gideon@… (removed) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5248#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #788: Implement class aliases and/or constraint synonyms
by GHC 25 Jun '13

25 Jun '13

#788: Implement class aliases and/or constraint synonyms ---------------------------------+------------------------------------------ Reporter: simonpj | Type: feature request Status: closed | Priority: normal Milestone: _|_ | Component: Compiler (Type checker) Version: | Resolution: fixed Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: N/A Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by gidyn): * cc: gideon@… (removed) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/788#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4834: New Functor => Applicative => Monad Hierarchy
by GHC 25 Jun '13

25 Jun '13

#4834: New Functor => Applicative => Monad Hierarchy -------------------------------+-------------------------------------------- Reporter: gidyn | Owner: Type: proposal | Status: closed Priority: normal | Milestone: Not GHC Component: libraries/base | Version: 7.0.1 Resolution: invalid | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by gidyn): * cc: gideon@… (removed) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4834#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4519: Do not link in unused code
by GHC 25 Jun '13

25 Jun '13

#4519: Do not link in unused code -------------------------------+-------------------------------------------- Reporter: gidyn | Owner: Type: feature request | Status: closed Priority: normal | Milestone: 7.4.1 Component: Compiler | Version: 7.0.1 Resolution: duplicate | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by gidyn): * cc: gideon@… (removed) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4519#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1884: Win64 Port
by GHC 25 Jun '13

25 Jun '13

#1884: Win64 Port ---------------------------+------------------------------------------------ Reporter: simonmar | Owner: igloo Type: task | Status: closed Priority: normal | Milestone: _|_ Component: Compiler | Version: 6.8.1 Resolution: fixed | Keywords: Os: Windows | Architecture: x86_64 (amd64) Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: ---------------------------+------------------------------------------------ Changes (by gidyn): * cc: gideon@… (removed) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1884#comment:29> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0