- ghc-tickets - Haskell.org

[GHC] #7631: Allow to differentiate between newtypes and datatypes
by GHC 13 Feb '13

13 Feb '13

#7631: Allow to differentiate between newtypes and datatypes -----------------------------+---------------------------------------------- Reporter: Feuerbach | Owner: Type: feature request | Status: new Priority: normal | Component: libraries (other) Version: 7.6.1 | Keywords: generics Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- When writing a generic instance, I would like to be able to tell whether the type under consideration has been declared using newtype or data. For example, in SmallCheck we generate values of certain "depth". It is natural to treat datatype constructors as increasing the depth of the constructed value, and newtype constructors as preserving the depth. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7631> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #7206: Implement cheap build
by GHC 13 Feb '13

13 Feb '13

#7206: Implement cheap build ---------------------------------+------------------------------------------ Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: _|_ Component: Compiler | Version: 7.4.2 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by simonpj): * milestone: 7.8.1 => _|_ Comment: I tried this again, but got disappointing results: {{{ -------------------------------------------------------------------------------- Program Size Allocs Runtime Elapsed TotalMem -------------------------------------------------------------------------------- anna -0.4% +0.0% -6.3% -5.9% +0.0% ansi -0.2% -0.6% 0.00 0.00 +0.0% atom -0.1% +0.0% +2.0% +2.0% +0.0% awards -0.4% +0.0% 0.00 0.00 +0.0% banner -0.1% +0.0% 0.00 0.00 +0.0% bernouilli -0.0% +0.0% -1.6% -1.6% +0.0% binary-trees -0.2% +0.0% +4.4% +4.4% +0.0% boyer -0.2% +0.0% 0.07 0.07 +0.0% boyer2 -0.5% +0.0% 0.01 0.01 +0.0% bspt -0.3% +0.0% 0.02 0.02 +0.0% cacheprof -1.4% +0.2% -0.7% -0.9% -0.5% calendar -0.2% +0.0% 0.00 0.00 +0.0% cichelli -0.4% -0.0% 0.13 0.13 +0.0% circsim -0.2% +0.0% -4.6% -4.7% +0.0% clausify -0.2% +0.0% 0.06 0.06 +0.0% comp_lab_zift -0.2% +0.0% -2.6% -2.6% +0.0% compress -0.3% +0.0% +3.0% +3.7% +0.0% compress2 -0.1% +0.0% +1.3% +1.3% +0.0% constraints -0.2% +0.0% -3.9% -3.9% +0.0% cryptarithm1 -0.2% +0.0% +6.3% +6.3% +0.0% cryptarithm2 -0.5% +0.0% 0.02 0.02 +0.0% cse -0.5% +0.0% 0.00 0.00 +0.0% eliza -0.1% +0.0% 0.00 0.00 +0.0% event -0.2% +0.0% +2.9% +2.9% +0.0% exp3_8 -0.2% +0.0% -2.8% -2.8% +0.0% expert -0.1% +0.0% 0.00 0.00 +0.0% fannkuch-redux -0.1% +0.0% -2.4% -2.4% +0.0% fasta -0.2% +0.0% -0.4% -0.4% +0.0% fem -0.0% +0.0% 0.04 0.04 +0.0% fft -0.1% +0.0% 0.06 0.06 +0.0% fft2 -0.1% +0.0% 0.10 0.10 +0.0% fibheaps -0.2% +0.0% 0.05 0.05 +0.0% fish -0.1% +2.7% 0.03 0.03 +0.0% fluid -0.1% +0.2% 0.01 0.01 +100.0% fulsom -0.3% +0.0% -4.0% -4.0% +3.2% gamteb -0.1% -0.0% 0.07 0.07 +0.0% gcd -0.1% +0.0% 0.05 0.05 +0.0% gen_regexps -0.1% +0.0% 0.00 0.00 +0.0% genfft -0.1% +0.0% 0.06 0.06 +0.0% gg -0.5% +0.1% 0.02 0.02 +0.0% grep -0.1% +0.0% 0.00 0.00 +0.0% hidden -0.1% +0.0% +4.2% +4.2% +0.0% hpg -0.4% -0.2% +8.8% +8.8% +0.0% ida -0.2% +0.0% 0.14 0.14 +0.0% infer -0.3% +0.0% 0.13 0.13 +0.0% integer -0.1% +0.0% +0.1% +0.1% +0.0% integrate -0.1% +0.0% +18.2% +18.2% +0.0% k-nucleotide -0.1% +0.0% -6.2% -6.2% +0.0% kahan -0.1% +0.0% +1.1% +1.1% +0.0% knights -0.2% +1.4% 0.01 0.01 +0.0% lcss -0.2% +0.0% -3.5% -3.5% +0.0% life -0.2% +0.0% +2.5% +2.5% +0.0% lift -0.3% +0.0% 0.00 0.00 +0.0% listcompr -0.2% +0.0% 0.15 0.15 +0.0% listcopy -0.2% +0.0% 0.16 0.16 +0.0% maillist -0.3% +0.0% 0.10 0.11 -3.9% mandel -0.0% -0.0% 0.12 0.12 +0.0% mandel2 -0.5% +0.0% 0.00 0.00 +0.0% minimax -0.3% +0.0% 0.00 0.00 +0.0% mkhprog -0.2% +0.0% 0.00 0.00 +0.0% multiplier -0.3% +0.0% +1.8% +1.8% +0.0% n-body -0.2% +0.0% -0.7% -0.6% +0.0% nucleic2 -0.1% +0.0% 0.11 0.11 +0.0% para -0.0% +0.0% +1.4% +0.8% +0.0% paraffins -0.2% +0.0% +13.6% +13.6% +0.0% parser -1.3% +3.5% 0.05 0.05 +0.0% parstof -0.3% +0.0% 0.01 0.01 +0.0% pic -0.1% +0.1% 0.00 0.00 +0.0% pidigits -0.1% +0.0% +1.5% +1.9% +0.0% power -0.1% +0.0% -4.9% -4.9% +0.0% pretty -0.1% -0.0% 0.00 0.00 +0.0% primes -0.1% +0.0% 0.11 0.11 +0.0% primetest -0.0% +0.0% 0.14 0.14 +0.0% prolog -0.2% +0.1% 0.00 0.17 +0.0% puzzle -0.3% +0.0% +1.7% +1.7% +0.0% queens -0.2% +0.0% 0.02 0.02 +0.0% reptile -0.2% -0.0% 0.02 0.02 +0.0% reverse-complem -0.3% +0.0% +3.8% +3.8% +0.0% rewrite -0.2% +0.0% 0.02 0.02 +0.0% rfib -0.1% +0.0% 0.03 0.03 +0.0% rsa -0.0% +0.0% 0.03 0.12 +0.0% scc -0.2% +0.0% 0.00 0.00 +0.0% sched -0.2% +0.0% 0.03 0.03 +0.0% scs -0.0% +0.1% -2.9% -3.1% +0.0% simple -0.9% +0.6% -10.8% -10.8% +13.8% solid -0.1% +0.0% +3.2% +3.2% +0.0% sorting -0.1% +0.0% 0.00 0.00 +0.0% spectral-norm -0.2% +0.0% +0.1% +0.1% +0.0% sphere -0.2% +0.0% 0.08 0.08 +0.0% symalg -0.2% +0.0% 0.01 0.04 +0.0% tak -0.2% +0.0% 0.02 0.02 +0.0% transform -0.2% +0.0% -0.6% -0.6% +0.0% treejoin -0.2% +0.0% +0.0% -0.7% +0.0% typecheck -0.2% -0.0% +0.0% +0.0% +0.0% veritas +0.7% +0.0% 0.00 0.00 +0.0% wang -0.1% +0.0% -5.5% -5.5% +0.0% wave4main -0.2% +0.0% -2.4% -2.4% +0.0% wheel-sieve1 -0.1% +0.0% -0.5% -0.5% +0.0% wheel-sieve2 -0.1% +0.0% -6.4% -6.4% +0.0% x2n1 -0.2% +0.0% 0.00 0.00 +0.0% -------------------------------------------------------------------------------- Min -1.4% -0.6% -10.8% -10.8% -3.9% Max +0.7% +3.5% +18.2% +18.2% +100.0% Geometric Mean -0.2% +0.1% +0.1% +0.1% +0.8% }}} On investigation it seemed that although it was good to fuse away the intermediate ''lists'', we were duplicating the individual `Int`s or `Char`s that would otherwise have been shared, and this pushes up allocation. So we often lose a bit and seldom win much. So I'm parking this again. I attach the patches I used. Simon -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7206#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7332: Kind-defaulting omitted leads to deeply obscure type error
by GHC 13 Feb '13

13 Feb '13

#7332: Kind-defaulting omitted leads to deeply obscure type error -------------------------------+-------------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: closed Priority: high | Milestone: 7.6.2 Component: Compiler | Version: 7.6.1 Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: polykinds/T7332 | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Comment(by simonpj): Trac #7641 is a simpler example -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7332#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7679: Regression in -fregs-graph performance
by GHC 12 Feb '13

12 Feb '13

#7679: Regression in -fregs-graph performance ---------------------------------+------------------------------------------ Reporter: simonmar | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Compiler (NCG) | Version: 7.6.2 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: Runtime performance bug Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: #7192 | ---------------------------------+------------------------------------------ Likely due to a bad interaction with the new code generator, see #7192. `-fregs-graph` used to be on by default with `-O2`, but is currently off due to this issue. Results courtesy of @tibbe: {{{ HEAD vs HEAD with -fregs-graph: -------------------------------------------------------------------------------- Program Size Allocs Runtime Elapsed TotalMem -------------------------------------------------------------------------------- anna +0.1% +0.0% 0.08 0.08 +0.0% ansi +0.0% +0.0% 0.00 0.00 +0.0% atom +0.0% +0.0% +0.0% -0.8% +0.0% awards -0.0% +0.0% 0.00 0.00 +0.0% banner -0.0% +0.0% 0.00 0.00 +0.0% bernouilli +0.0% +0.0% 0.12 0.12 +0.0% binary-trees +0.0% +0.0% +0.0% +0.0% +0.0% boyer -0.0% +0.0% 0.04 0.04 +0.0% boyer2 -0.0% +0.0% 0.01 0.01 +0.0% bspt -0.0% +0.0% 0.02 0.02 +0.0% cacheprof +0.0% +0.0% -3.1% -3.1% +0.0% calendar -0.0% +0.0% 0.00 0.00 +0.0% cichelli +0.0% +0.0% 0.05 0.05 +3.0% circsim +0.0% +0.0% -0.3% -0.3% +0.0% clausify -0.0% +0.0% 0.03 0.03 +0.0% comp_lab_zift -0.0% +0.0% 0.14 0.14 +0.0% compress +0.0% +0.0% 0.11 0.11 +0.0% compress2 +0.0% +0.0% 0.14 0.14 +0.0% constraints +0.0% +0.0% -1.4% -1.4% +0.0% cryptarithm1 +0.0% +0.0% +1.6% +1.0% +0.0% cryptarithm2 +0.0% +0.0% 0.01 0.01 +0.0% cse +0.0% +0.0% 0.00 0.00 +0.0% eliza -0.0% +0.0% 0.00 0.00 +0.0% event +0.0% +0.0% 0.10 0.10 +0.0% exp3_8 +0.0% +0.0% 0.14 0.14 +0.0% expert +0.0% +0.0% 0.00 0.00 +0.0% fannkuch-redux +0.0% +0.0% +10.6% +10.4% +0.0% fasta -0.0% +0.0% -0.6% -0.6% +0.0% fem +0.0% +0.0% 0.03 0.03 +0.0% fft -0.0% +0.0% 0.03 0.03 +0.0% fft2 +0.0% +0.0% 0.04 0.04 +0.0% fibheaps -0.0% +0.0% 0.03 0.03 +0.0% fish +0.0% +0.0% 0.01 0.01 +0.0% fluid +0.0% +0.0% 0.01 0.01 +0.0% fulsom +0.1% +0.0% -5.9% -5.9% -5.3% gamteb +0.0% +0.0% 0.04 0.04 +0.0% gcd +0.0% +0.0% 0.03 0.03 +0.0% gen_regexps +0.0% +0.0% 0.00 0.00 +0.0% genfft +0.0% +0.0% 0.03 0.03 +0.0% gg +0.0% +0.0% 0.02 0.02 +0.0% grep +0.1% +0.0% 0.00 0.00 +0.0% hidden +0.0% +0.0% +3.4% +2.7% +0.0% hpg +0.0% +0.0% 0.10 0.10 +0.0% ida -0.0% +0.0% 0.06 0.06 +0.0% infer +0.0% +0.0% 0.05 0.05 +0.0% integer -0.0% +0.0% +3.0% +2.9% +0.0% integrate +0.0% +0.0% 0.13 0.13 +0.0% k-nucleotide +0.4% +0.0% +3.4% +3.5% +0.0% kahan +0.0% +0.0% 0.18 0.18 +0.0% knights -0.1% +0.0% 0.01 0.01 +0.0% lcss +0.0% +0.0% +0.7% +0.7% +0.0% life -0.0% +0.0% 0.16 0.16 +0.0% lift +0.0% +0.0% 0.00 0.00 +0.0% listcompr -0.0% +0.0% 0.06 0.06 +0.0% listcopy -0.0% +0.0% 0.06 0.06 +0.0% maillist -0.0% +0.0% 0.04 0.04 -11.2% mandel +0.0% +0.0% 0.05 0.05 +0.0% mandel2 -0.0% +0.0% 0.00 0.00 +0.0% minimax +0.0% +0.0% 0.00 0.00 +0.0% mkhprog +0.0% +0.0% 0.00 0.00 +0.0% multiplier -0.0% +0.0% 0.08 0.08 +0.0% n-body -0.0% +0.0% +28.2% +28.2% +0.0% nucleic2 +0.0% +0.0% 0.05 0.05 +0.0% para -0.1% +0.0% +1.0% +1.0% +0.0% paraffins -0.0% +0.0% 0.08 0.08 +0.0% parser +0.0% +0.0% 0.03 0.03 +0.0% parstof -0.0% +0.0% 0.00 0.00 +0.0% pic -0.0% +0.0% 0.00 0.00 +0.0% pidigits -0.0% +0.0% -0.6% +0.0% +0.0% power +0.0% +0.0% +1.9% +1.9% +0.0% pretty +0.0% +0.0% 0.00 0.00 +0.0% primes -0.0% +0.0% 0.05 0.05 +0.0% primetest -0.0% +0.0% 0.07 0.07 +0.0% prolog +0.0% +0.0% 0.00 0.00 +0.0% puzzle -0.0% +0.0% 0.10 0.10 +0.0% queens +0.0% +0.0% 0.02 0.02 +0.0% reptile +0.0% +0.0% 0.02 0.02 +0.0% reverse-complem -0.0% +0.0% 0.08 0.08 +0.0% rewrite +0.0% +0.0% 0.02 0.02 +0.0% rfib +0.0% +0.0% 0.02 0.02 +0.0% rsa +0.0% +0.0% 0.03 0.03 +0.0% scc -0.0% +0.0% 0.00 0.00 +0.0% sched -0.0% +0.0% 0.02 0.02 +0.0% scs -0.0% +0.0% -1.1% -0.5% +0.0% simple -0.1% +0.0% 0.16 0.16 +0.0% solid -0.0% +0.0% 0.10 0.10 +0.0% sorting -0.0% +0.0% 0.00 0.00 +0.0% spectral-norm -0.0% +0.0% +0.0% +0.0% +0.0% sphere +0.1% +0.0% 0.03 0.03 +0.0% symalg -0.0% +0.0% 0.01 0.01 +0.0% tak +0.0% +0.0% 0.01 0.01 +0.0% transform -0.0% +0.0% +0.0% +0.0% +0.0% treejoin +0.0% +0.0% 0.15 0.15 +0.0% typecheck +0.0% +0.0% 0.15 0.15 +0.0% veritas +0.1% +0.0% 0.00 0.00 +0.0% wang +0.0% +0.0% 0.08 0.08 +0.0% wave4main +0.0% +0.0% 0.19 0.19 +0.0% wheel-sieve1 -0.0% +0.0% -0.8% -0.8% +0.0% wheel-sieve2 -0.0% +0.0% 0.13 0.13 +0.0% x2n1 -0.0% +0.0% 0.01 0.01 +0.0% -------------------------------------------------------------------------------- Min -0.1% +0.0% -5.9% -5.9% -11.2% Max +0.4% +0.0% +28.2% +28.2% +3.0% Geometric Mean +0.0% -0.0% +1.7% +1.7% -0.1% }}} -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7679> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #7353: Make system IO interruptible on Windows
by GHC 12 Feb '13

12 Feb '13

#7353: Make system IO interruptible on Windows ---------------------------------+------------------------------------------ Reporter: joeyadams | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: libraries/base | Version: 7.6.1 Keywords: | Os: Windows Architecture: Unknown/Multiple | Failure: Incorrect result at runtime Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by shelarcy): * cc: shelarcy@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7353#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #7677: Proposal: add attached README.md to GHC repo
by GHC 12 Feb '13

12 Feb '13

#7677: Proposal: add attached README.md to GHC repo -----------------------------+---------------------------------------------- Reporter: morabbin | Owner: Type: task | Status: new Priority: normal | Component: Build System Version: 7.6.2 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Have a look at my [https://github.com/Morabbin/ghc accidental github fork of GHC] to see how this would look on the GHC github page. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7677> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #7046: Simplifier failing to unbox join point
by GHC 12 Feb '13

12 Feb '13

#7046: Simplifier failing to unbox join point ------------------------------------+--------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: closed Priority: high | Milestone: 7.8.1 Component: Compiler | Version: Resolution: fixed | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: perf/should_run/T5113 | Blockedby: Blocking: | Related: ------------------------------------+--------------------------------------- Changes (by simonpj): * status: new => closed * resolution: => fixed Comment: Fixed: see #5113 -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7046#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7353: Make system IO interruptible on Windows
by GHC 12 Feb '13

12 Feb '13

#7353: Make system IO interruptible on Windows ---------------------------------+------------------------------------------ Reporter: joeyadams | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: libraries/base | Version: 7.6.1 Keywords: | Os: Windows Architecture: Unknown/Multiple | Failure: Incorrect result at runtime Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by bos): * cc: bos@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7353#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7383: implement proper type promotion in compilation of C calls
by GHC 12 Feb '13

12 Feb '13

#7383: implement proper type promotion in compilation of C calls ---------------------------------+------------------------------------------ Reporter: igloo | Owner: Type: bug | Status: new Priority: high | Milestone: 7.6.2 Component: Compiler | Version: 7.6.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: 7684 | ---------------------------------+------------------------------------------ Changes (by tibbe): * cc: johan.tibell@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7383#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7383: implement proper type promotion in compilation of C calls
by GHC 12 Feb '13

12 Feb '13

#7383: implement proper type promotion in compilation of C calls ---------------------------------+------------------------------------------ Reporter: igloo | Owner: Type: bug | Status: new Priority: high | Milestone: 7.6.2 Component: Compiler | Version: 7.6.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: 7684 | ---------------------------------+------------------------------------------ Changes (by tibbe): * related: => 7684 Comment: cgrun071 now segfaults. See linked ticket. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7383#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0