January 2013 - ghc-tickets

Re: [GHC] #3005: Normalize fully-applied type functions prior to display
by GHC 21 Jan '13

21 Jan '13

#3005: Normalize fully-applied type functions prior to display -------------------------------+-------------------------------------------- Reporter: dmcclean | Owner: chak Type: feature request | Status: closed Priority: lowest | Milestone: 7.6.2 Component: GHCi | Version: 6.10.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Comment(by shelarcy): For future reference, I paste the results of :kind! command and :type command. Here is the result of :kind! command. {{{ *Main> :kind! Product (Matrix Two Two Int) (Matrix Two Two Int) Product (Matrix Two Two Int) (Matrix Two Two Int) :: * = Matrix (O (I Z)) (O (I Z)) Int }}} And here are the results of :type command. 7.4.2 {{{ *Main> :t a `times` a a `times` a :: Matrix (O (I Z)) (O (I Z)) Integer }}} 7.6.1 {{{ *Main> :t a `times` a a `times` a :: Matrix (O (I Z)) (O (I Z)) Integer }}} 7.6.2 (7.6.1.20121207) {{{ *Main> :t a `times` a a `times` a :: Matrix (O (I Z)) (O (I Z)) Integer }}} 7.7.20130110 {{{ *Main> :t a `times` a a `times` a :: (Num t, Num t1, Multiply (Matrix Two Two t) (Matrix Two Two t1)) => Product (Matrix Two Two t) (Matrix Two Two t1) }}} (TypeNats.hs and Vectors.hs use -fglasgow-exts option. Vector uses DatatypeContexts. So, I attached newer version (TypeNats2.hs and Vector2.hs) what avoid using -fglasgow-exts option and DatatypeContexts.) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3005#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #956: improving error messages #1
by GHC 21 Jan '13

21 Jan '13

#956: improving error messages #1 ----------------------------------------------------------+----------------- Reporter: Bulat Ziganshin <Bulat.Ziganshin@…> | Owner: simonpj Type: feature request | Status: closed Priority: normal | Milestone: _|_ Component: Compiler | Version: 6.6 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: ----------------------------------------------------------+----------------- Changes (by simonpj): * status: new => closed * resolution: => fixed -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/956#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #835: Expose less type/class info in an interface file, to reduce recompilation
by GHC 21 Jan '13

21 Jan '13

#835: Expose less type/class info in an interface file, to reduce recompilation -------------------------------+-------------------------------------------- Reporter: simonpj | Owner: Type: feature request | Status: closed Priority: normal | Milestone: _|_ Component: Compiler | Version: 6.4.2 Resolution: wontfix | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Comment(by simonpj): There is a long saga here. For quite while we ''did'' try to avoid exporting the consructors of a data type whose representation did not need to leak; but I finally gave up the battle in Dec 2012: {{{ commit 9a20e540754fc2af74c2e7392f2786a81d8d5f11 Author: Simon Peyton Jones <simonpj(a)microsoft.com> Date: Thu Dec 6 16:03:16 2012 +0000 Stop attempting to "trim" data types in interface files Without -O, we previously tried to make interface files smaller by not including the data constructors of data types. But there are a lot of exceptions, notably when Template Haskell is involved or, more recently, DataKinds. However Trac #7445 shows that even without TemplateHaskell, using the Data class and invoking Language.Haskell.TH.Quote.dataToExpQ is enough to require us to expose the data constructors. So I've given up on this "optimisation" -- it's probably not important anyway. Now I'm simply not attempting to trim off the data constructors. The gain in simplicity is worth the modest cost in interface file growth, which is limited to the bits reqd to describe those data constructors. }}} So yes, wontfix. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/835#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3814: Compile to more than one (sub)-architecture
by GHC 21 Jan '13

21 Jan '13

#3814: Compile to more than one (sub)-architecture -----------------------------------------------+---------------------------- Reporter: filcab | Owner: Type: feature request | Status: new Priority: normal | Milestone: _|_ Component: Compiler | Version: 6.12.1 Keywords: architecture, compiler, x86_64 | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: | Testcase: Blockedby: | Blocking: Related: | -----------------------------------------------+---------------------------- Changes (by shelarcy): * cc: shelarcy@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3814#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4175: GHCi support for type/data families should match that of related features
by GHC 21 Jan '13

21 Jan '13

#4175: GHCi support for type/data families should match that of related features ---------------------------------+------------------------------------------ Reporter: claus | Owner: Type: bug | Status: new Priority: low | Milestone: 7.6.2 Component: GHCi | Version: 6.12.3 Keywords: FD TF | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by shelarcy): * cc: shelarcy@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4175#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7432: haddock : panic! (the 'impossible' happened)
by GHC 21 Jan '13

21 Jan '13

#7432: haddock : panic! (the 'impossible' happened) --------------------------+------------------------------------------------- Reporter: erikd | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Os: Linux Architecture: powerpc64 | Failure: Runtime crash Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | --------------------------+------------------------------------------------- Changes (by monoidal): * status: new => infoneeded -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7432#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1520: Use Linux's signalfd() instead of pipe() to deliver signals to the IO manager
by GHC 21 Jan '13

21 Jan '13

#1520: Use Linux's signalfd() instead of pipe() to deliver signals to the IO manager -------------------------------------------+-------------------------------- Reporter: simonmar | Owner: Type: task | Status: new Priority: lowest | Milestone: 7.6.2 Component: Runtime System | Version: 6.6.1 Keywords: | Os: Linux Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Moderate (less than a day) | Testcase: Blockedby: | Blocking: Related: | -------------------------------------------+-------------------------------- Changes (by monoidal): * failure: => None/Unknown Comment: Is this one fixed by the new IO manager? -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1520#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #860: CPP fails when a macro is used on a line containing a single quote character
by GHC 21 Jan '13

21 Jan '13

#860: CPP fails when a macro is used on a line containing a single quote character ---------------------------------+------------------------------------------ Reporter: ketil@… | Owner: Type: feature request | Status: new Priority: lowest | Milestone: _|_ Component: Compiler | Version: 6.4.2 Keywords: cpp quote prime | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: GHC rejects valid program Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by simonmar): We could just document this in the manual. There are other gotchas with CPP (e.g. the backslash-at-the-end-of-the-line thing). -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/860#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #886: Profiling doesn't work with SMP execution
by GHC 21 Jan '13

21 Jan '13

#886: Profiling doesn't work with SMP execution -------------------------------+-------------------------------------------- Reporter: Lemmih | Owner: Type: task | Status: closed Priority: normal | Milestone: _|_ Component: Runtime System | Version: 6.5 Resolution: invalid | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Difficult (2-5 days) Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Comment(by simonmar): Right, this was fixed in 7.6.1. Nice ticket-weeding! -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/886#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #964: Cross Compile and Universal Binary
by GHC 21 Jan '13

21 Jan '13

#964: Cross Compile and Universal Binary ----------------------------------------------+----------------------------- Reporter: shelarcy@… | Owner: Type: feature request | Status: closed Priority: normal | Milestone: _|_ Component: Compiler | Version: 6.6 Resolution: duplicate | Keywords: Os: MacOS X | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Project (more than a week) Testcase: N/A | Blockedby: Blocking: | Related: ----------------------------------------------+----------------------------- Changes (by simonmar): * status: new => closed * resolution: => duplicate -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/964#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0