October 2013 - ghc-tickets

Re: [GHC] #6084: Add stg_ap_pnnv and related call patterns
by GHC 25 Oct '13

25 Oct '13

#6084: Add stg_ap_pnnv and related call patterns -------------------------------------+------------------------------------ Reporter: SimonMeier | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Runtime System | Version: 7.4.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: 8313 | Related Tickets: -------------------------------------+------------------------------------ Comment (by Simon Marlow <marlowsd@…>): In [changeset:"2f5db98e90cf0cff1a11971c85f108a7480528ed/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="2f5db98e90cf0cff1a11971c85f108a7480528ed" Implement shortcuts for slow calls that would require PAPs (#6084) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6084#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8456: Control flow optimisations duplicate blocks
by GHC 24 Oct '13

24 Oct '13

#8456: Control flow optimisations duplicate blocks ------------------------------+-------------------------------------------- Reporter: jstolarek | Owner: jstolarek Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Runtime performance bug Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: 8275 Blocked By: | Related Tickets: | ------------------------------+-------------------------------------------- During work on #8275 I observed that control flow optimisation pass in the Cmm pipeline duplicates block that does the stack check, which is completely redundant. There is at least one bug in !CmmContFlowOpt module. Consider this: {{{ L1: goto L2 L2: whatever L3: goto L1 }}} We are processing blocks from the end. When we reach L3 first guard in `maybe_concat` function (!CmmContFlowOpt.hs, line 123) will turn that blocks into: {{{ L1: goto L2 L2: whatever L3: goto L2 }}} However, the number of predecessors of L2 block is not updated because `backEdges` is computed once before we run `maybe_concat` and is not updated when we make changes to the block structure. Another issue, which I have not yet encountered in practice but I believe may arise as well, comes from the fact that we may map one label to a different one, but again we don't that take into account when determining the number of predecessors. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8456> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 19

[GHC] #8320: HEAD (4e2f6c2) build failure
by GHC 24 Oct '13

24 Oct '13

#8320: HEAD (4e2f6c2) build failure --------------------------------+---------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 7.7 Keywords: | Operating System: Linux Architecture: x86 | Type of failure: Building GHC failed Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | --------------------------------+---------------------------------------- Anyone else see the build failure below? {{{ $ perl boot && ./configure && make ... attempting to use module `ghc-prim:GHC.Types' (libraries/ghc- prim/./GHC/Types.hs) which is not loaded make[1]: *** [libraries/ghc-prim/dist-install/doc/html/ghc-prim/ghc- prim.haddock] Error 1 make: *** [all] Error 2 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8320> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 40

[GHC] #8467: Stack overflow when optimizing recursive newtype
by GHC 24 Oct '13

24 Oct '13

#8467: Stack overflow when optimizing recursive newtype ------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- I have {{{ module Bug where newtype Void = Void Void data Decision a = Disproved (a -> Void) foo :: () -> Decision Int foo _ = Disproved (\_ -> undefined) }}} When I {{{ > ghc -O Bug.hs }}} I get {{{ [1 of 1] Compiling Bug ( Bug.hs, Bug.o ) stack overflow: use +RTS -K<size> to increase it }}} The module compiles fine without `-O`. This was tested on 7.7.20131011. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8467> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #7762: when using lots of memory: internal error: evacuate(static): strange closure type 4
by GHC 24 Oct '13

24 Oct '13

#7762: when using lots of memory: internal error: evacuate(static): strange closure type 4 -----------------------------------+---------------------------------- Reporter: rthiemann | Owner: simonmar Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Runtime System | Version: 7.0.4 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -----------------------------------+---------------------------------- Changes (by simonmar): * cc: simonmar (added) Comment: I can reproduce this, investigating... -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7762#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7667: Template Haskell fails to recognize type operator/function +
by GHC 23 Oct '13

23 Oct '13

#7667: Template Haskell fails to recognize type operator/function + ----------------------------------------------+---------------------------- Reporter: andygill | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: Template Haskell | Version: 7.6.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects valid program | Unknown/Multiple Test Case: th/T7667 th/T7667a | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ----------------------------------------------+---------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"ddf61ce990f551ae451432d6dae03abd1efb972b/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="ddf61ce990f551ae451432d6dae03abd1efb972b" Revert "Fix Trac #7667.", restoring the refined fix. Apologies -- there was some git confusion that cause the Wrong Thing to happen. This reverts commit bb9d53e32da52221173431733928c497187686ff. Conflicts: compiler/hsSyn/Convert.lhs }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7667#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7667: Template Haskell fails to recognize type operator/function +
by GHC 23 Oct '13

23 Oct '13

#7667: Template Haskell fails to recognize type operator/function + ----------------------------------------------+---------------------------- Reporter: andygill | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: Template Haskell | Version: 7.6.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects valid program | Unknown/Multiple Test Case: th/T7667 th/T7667a | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ----------------------------------------------+---------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"bb9d53e32da52221173431733928c497187686ff/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="bb9d53e32da52221173431733928c497187686ff" Fix Trac #7667. We no longer check capitalization (or colons) in names that come from TH, according to the commentary in #7667. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7667#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8455: Core lint error with Template Haskell quotation and type lits
by GHC 23 Oct '13

23 Oct '13

#8455: Core lint error with Template Haskell quotation and type lits ------------------------------------+------------------------------------- Reporter: goldfire | Owner: goldfire Type: bug | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- When I compile {{{ {-# LANGUAGE TemplateHaskell, DataKinds #-} ty = [t| 5 |] }}} I get {{{ *** Core Lint errors : in result of Desugar (after optimization) *** <no location info>: Warning: In the expression: Language.Haskell.TH.Lib.numTyLit (GHC.Types.I# 5) Argument value doesn't match argument type: Fun type: GHC.Integer.Type.Integer -> Language.Haskell.TH.Lib.TyLitQ Arg type: GHC.Types.Int Arg: GHC.Types.I# 5 *** Offending Program *** Main.ty :: Language.Haskell.TH.Lib.TypeQ [LclIdX, Str=DmdType] Main.ty = break<0>() Language.Haskell.TH.Lib.litT (Language.Haskell.TH.Lib.numTyLit (GHC.Types.I# 5)) *** End of Offense *** }}} I'm pretty sure I know what's going on. I will fix. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8455> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #7667: Template Haskell fails to recognize type operator/function +
by GHC 23 Oct '13

23 Oct '13

#7667: Template Haskell fails to recognize type operator/function + ----------------------------------------------+---------------------------- Reporter: andygill | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: Template Haskell | Version: 7.6.2 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects valid program | Unknown/Multiple Test Case: th/T7667 th/T7667a | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ----------------------------------------------+---------------------------- Changes (by goldfire): * status: new => closed * testcase: th/T7667 => th/T7667 th/T7667a * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7667#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7667: Template Haskell fails to recognize type operator/function +
by GHC 23 Oct '13

23 Oct '13

#7667: Template Haskell fails to recognize type operator/function + ----------------------------------------------+---------------------------- Reporter: andygill | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Template Haskell | Version: 7.6.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects valid program | Unknown/Multiple Test Case: th/T7667 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ----------------------------------------------+---------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"1270e252f6bc9eff140a78ec6b27472d2c373fef/testsuite"]: {{{ #!CommitTicketReference repository="testsuite" revision="1270e252f6bc9eff140a78ec6b27472d2c373fef" Add new test for the second round of #7667 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7667#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0