- ghc-tickets - Haskell.org

[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

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:"ba6308ece51fbd86f7a0281c223dc49c2f73531a/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="ba6308ece51fbd86f7a0281c223dc49c2f73531a" Refine fix for #7667. Now, we allow types that do not begin with ':', but we retain other checks on variable names. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7667#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8448: panic with RecordWildCards: find_tycon ghc-prim:GHC.Types.[]
by GHC 23 Oct '13

23 Oct '13

#8448: panic with RecordWildCards: find_tycon ghc-prim:GHC.Types.[] -------------------------------------+------------------------------------- Reporter: MikolajKonarski | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.6.3 checker) | Operating System: Linux Keywords: | Type of failure: Compile-time Architecture: x86_64 (amd64) | crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- The following crashes in 7.4.2, 7.6.3, 7.7: {{{ {-# LANGUAGE RecordWildCards #-} data R = R {r :: Int} f x = undefined [] {r = x} main = return () }}} with the message: {{{ ~/$ ghc --make tycon_panic.hs [1 of 1] Compiling Main ( tycon_panic.hs, tycon_panic.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.4.2 for x86_64-unknown-linux): find_tycon ghc-prim:GHC.Types.[]{(w) d 6m} [] }}} Instead it should signal a type error (as it does with no RecordWildCards). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8448> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3