November 2014 - ghc-tickets

Re: [GHC] #5608: Fix T3807 for Mac OS X 10.5
by GHC 27 Nov '14

27 Nov '14

#5608: Fix T3807 for Mac OS X 10.5 --------------------------------------+--------------------------- Reporter: thorkilnaur | Owner: Type: bug | Status: closed Priority: low | Milestone: 7.10.1 Component: Test Suite | Version: 7.3 Resolution: wontfix | Keywords: Operating System: MacOS X | Architecture: x86 Type of failure: Other | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | --------------------------------------+--------------------------- Comment (by thomie): See also #9389 for the list of current failures on OS X. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5608#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5608: Fix T3807 for Mac OS X 10.5
by GHC 27 Nov '14

27 Nov '14

#5608: Fix T3807 for Mac OS X 10.5 --------------------------------------+--------------------------- Reporter: thorkilnaur | Owner: Type: bug | Status: closed Priority: low | Milestone: 7.10.1 Component: Test Suite | Version: 7.3 Resolution: wontfix | Keywords: Operating System: MacOS X | Architecture: x86 Type of failure: Other | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | --------------------------------------+--------------------------- Changes (by thomie): * status: new => closed * difficulty: => Unknown * resolution: => wontfix Comment: Test T3807 is passing on OS X, probably thanks to using the [wiki:DynamicGhcPrograms system linker] since 7.8.1, so this patch is no longer needed. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5608#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5641: The -L flag should not exist
by GHC 27 Nov '14

27 Nov '14

#5641: The -L flag should not exist -------------------------------------+------------------------------------- Reporter: augustss | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Profiling | Version: 7.2.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: 3024 None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * blockedby: 3024, 3024 => 3024 Comment: For reference, in commit 16871485a44ba8a6e93e40f30af7ea46839e0c4c: {{{ Author: Ravi Nanavati <> Date: Fri Sep 29 22:51:15 2006 +0000 rts_ccs_length Add the -L RTS flag to control the length of the cost-centre stacks reported in a heap profile. }}} And in `rts/RtsFlags.c`: {{{ " -L<chars> Maximum length of a cost-centre stack in a heap profile", " (default: 25)", }}} Undocument as far as I can tell in the [https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/runtime- control.html user's guide]. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5641#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5654: Profiling semantics bug
by GHC 27 Nov '14

27 Nov '14

#5654: Profiling semantics bug -------------------------------------+------------------------------------- Reporter: simonmar | Owner: simonmar Type: bug | Status: infoneeded Priority: low | Milestone: 7.10.1 Component: Profiling | Version: 7.2.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | profiling/should_run/scc004 | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => infoneeded * difficulty: => Unknown Comment: The results with HEAD are both different from "what we want" and "what we get". What are we aiming for precisely? `ghc-7.9.20141125 -prof -fforce-recomp test.hs; ./test +RTS -p` {{{ MAIN MAIN 43 0 0.0 22.2 0.0 100.0 CAF Main 85 0 0.0 0.1 0.0 0.1 g Main 87 1 0.0 0.0 0.0 0.0 f Main 86 1 0.0 0.0 0.0 0.0 }}} And with `-O2`: {{{ MAIN MAIN 43 0 0.0 22.2 0.0 100.0 CAF Main 85 0 0.0 0.1 0.0 0.1 g Main 87 1 0.0 0.0 0.0 0.0 f Main 86 1 0.0 0.0 0.0 0.0 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5654#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5728: Warnings from -fwarn-incomplete-record-updates even with all constructors matched
by GHC 27 Nov '14

27 Nov '14

#5728: Warnings from -fwarn-incomplete-record-updates even with all constructors matched -------------------------------------+------------------------------------- Reporter: mjo | Owner: Type: bug | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 7.4.1 Resolution: | Keywords: warnings Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Incorrect | Blocked By: warning at compile-time | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by thomie): This must have been fixed in the 7.8 release series. Only a regression test is missing. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5728#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5757: zero unexpected failures on all tier 1 platforms
by GHC 27 Nov '14

27 Nov '14

#5757: zero unexpected failures on all tier 1 platforms -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: task | Status: new Priority: normal | Milestone: 7.10.1 Component: Test Suite | Version: 7.2.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: #9389 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * related: #5785 => #9389 Comment: This is still a noble goal. See also #9389 for OS X testsuite failures. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5757#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5763: Confusing error message
by GHC 27 Nov '14

27 Nov '14

#5763: Confusing error message -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.2.2 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: indexed- | types/should_fail/T5763 | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by thomie): Is this problem solved? `T4272` doesn't show the `Occurs check` message anymore (as also noted by SPJ in da71a9524ffff0865222127bef09fd04a1359a53), but maybe this is incidental? I can not find test `T5763` anywhere, so I'll leave this open for now. Output of running the command "git show 0b3c3c81792c88ee40687f86bed4935e721dabe0 testsuite/tests/indexed- types/should_fail/T4272.stderr": {{{ Author: Dimitrios.Vytiniotis <> Date: Wed Apr 4 14:41:11 2012 +0100 Error message modifications following ghc-new-solver modifications diff --git a/testsuite/tests/indexed-types/should_fail/T4272.stderr b/testsuite/tests/indexed-types/should_fail/T4272.stderr index 24f0cbd..e809d9c 100644 --- a/testsuite/tests/indexed-types/should_fail/T4272.stderr +++ b/testsuite/tests/indexed-types/should_fail/T4272.stderr @@ -1,29 +1,6 @@ -T4272.hs:11:16: - Couldn't match type `TermFamily (TermFamily x0 x0)' - with `TermFamily x0' - NB: `TermFamily' is a type function, and may not be injective - The type variable `x0' is ambiguous - Possible fix: add a type signature that fixes these type variable(s) - Expected type: TermFamily x0 x0 - Actual type: TermFamily a a - In the first argument of `prune', namely `t' - In the expression: prune t (terms (undefined :: TermFamily a a)) - In an equation for `laws': - laws t = prune t (terms (undefined :: TermFamily a a)) - -T4272.hs:11:16: - Occurs check: cannot construct the infinite type: - x0 = TermFamily x0 x0 - Expected type: TermFamily x0 x0 - Actual type: TermFamily a a - In the first argument of `prune', namely `t' - In the expression: prune t (terms (undefined :: TermFamily a a)) - In an equation for `laws': - laws t = prune t (terms (undefined :: TermFamily a a)) - -T4272.hs:11:19: - Could not deduce (a ~ TermFamily x0 x0) +T4272.hs:11:26: + Could not deduce (a ~ TermFamily a a) from the context (TermLike a) bound by the type signature for laws :: TermLike a => TermFamily a a -> b @@ -31,7 +8,10 @@ T4272.hs:11:19: `a' is a rigid type variable bound by the type signature for laws :: TermLike a => TermFamily a a -> b at T4272.hs:10:16 - In the return type of a call of `terms' + Expected type: TermFamily a (TermFamily a a) + Actual type: TermFamily a a + In the first argument of `terms', namely + `(undefined :: TermFamily a a)' In the second argument of `prune', namely `(terms (undefined :: TermFamily a a))' In the expression: prune t (terms (undefined :: TermFamily a a)) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5763#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5780: -faggressive-primops change caused a failure in perf/compiler/parsing001
by GHC 27 Nov '14

27 Nov '14

#5780: -faggressive-primops change caused a failure in perf/compiler/parsing001 -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.2.2 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => infoneeded Comment: SPJ: this ticket does not appear on your [wiki:Status/SLPJ-Tickets list]. Should it stay open? The reverted commit would need some work to make it compatible with HEAD. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5780#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5821: SPECIALISE fails with a cryptic warning
by GHC 27 Nov '14

27 Nov '14

#5821: SPECIALISE fails with a cryptic warning -------------------------------------+------------------------------------- Reporter: rl | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.5 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Incorrect | Blocked By: warning at compile-time | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by thomie): In HEAD, the error message for the program from the description has changed to: {{{ $ ghc-7.9.20141125 T5821.hs [1 of 1] Compiling T5821 ( T5821.hs, T5821.o ) T5821.hs:10:1: Warning: RULE left-hand side too complicated to desugar Optimised lhs: case cobox_ang of _ [Occ=Dead] { GHC.Types.Eq# cobox -> (foo @ Int $dNum_anf) `cast` (<Int>_R -> Sub cobox :: (Int -> T Int) ~R# (Int -> Bool)) } Orig lhs: case cobox_ang of cobox_ang { GHC.Types.Eq# cobox -> (foo @ Int $dNum_anf) `cast` (<Int>_R -> Sub cobox :: (Int -> T Int) ~R# (Int -> Bool)) } }}} Due to commit b34068144ec3d7bfe4279b16ad16d54dd46f1c5a: {{{ Author: Simon Peyton Jones <> Date: Thu Mar 13 08:36:28 2014 +0000 A bit more tracing to do with SPECIALISE pragmas }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5821#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5827: /usr/local hard-coded in cabal
by GHC 27 Nov '14

27 Nov '14

#5827: /usr/local hard-coded in cabal -------------------------------------+------------------------------------- Reporter: donn | Owner: duncan Type: bug | Status: closed Priority: normal | Milestone: Component: Core | Version: 7.4.1-rc2 Libraries | Keywords: Cabal Resolution: duplicate | Architecture: Unknown/Multiple Operating System: Other | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: core-libraries-committee@… (added) * status: new => closed * resolution: => duplicate * milestone: 7.10.1 => Comment: I have re-raised this ticket in the Cabal issue tracker: https://github.com/haskell/cabal/issues/2240. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5827#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0