January 2014 - ghc-tickets

Re: [GHC] #7015: Add support for 'static'
by GHC 31 Jan '14

31 Jan '14

#7015: Add support for 'static' -------------------------------------+------------------------------------ Reporter: edsko | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by hyperthunk): Indeed - we've not reached a conclusion yet! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8711: StaticValues language extension
by GHC 31 Jan '14

31 Jan '14

#8711: StaticValues language extension -------------------------------------+------------------------------------- Reporter: facundo.dominguez | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- See [http://www.haskell.org/pipermail/glasgow-haskell- users/2014-January/024571.html this thread]. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8711> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #8663: Fix up Haddock mark-up
by GHC 30 Jan '14

30 Jan '14

#8663: Fix up Haddock mark-up ------------------------------------+-------------------------------------- Reporter: Fuuzetsu | Owner: Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Documentation bug Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+-------------------------------------- New Haddock changes will mean that any previously failing Haddock parses (which resulted in no documentation) will now be parsed. This means that the resulting documentation might not look too great. These need to be human-checked and fixed up if needed. Here are the failures from recent validate run: {{{ 14923:doc comment parse failed: block decorated with fact 14924- @ end dg.tex 14925-Warning: Compiler.Hoopl.Dataflow: Instances of type and data families and equations of closed type families are not yet supported.Instances of the following families will be filtered out: 14926- Fact 14927- 30% ( 10 / 33) in 'Compiler.Hoopl.Dataflow' }}} {{{ 17735:doc comment parse failed: plusUFM_CD f m1 d1 m2 d2 17736- merges the maps using `f` as the combinding function and d1 resp. d2 as 17737- the default value if there is no entry in m1 reps. m2. The domain is the union 17738- of the domains of m1 m2. 17739- Representative example: 17740- > plusUFM_CD f {A: 1, B: 2} 23 {B: 3, C: 4} 42 17741- > == {A: f 1 42, B: f 2 3, C: f 23 4 } 17742- 4% ( 2 / 49) in 'UniqFM' }}} {{{ 17790:doc comment parse failed: If @co :: T ts ~ rep_ty@ then: 17791- 17792- > instNewTyCon_maybe T ts = Just (rep_ty, co) 17793- Checks for a newtype, and for being saturated 17794- 32% ( 38 /117) in 'Coercion' }}} {{{ 17813-haddock module header parse failed: Cannot parse header documentation paragraphs 17814- 75% ( 3 / 4) in 'Llvm.MetaData' }}} {{{ 18100:doc comment parse failed: @argTyFold@ implements a generalised and safer variant of the @arg@ 18101- function from Figure 3 in <http://dreixel.net/research/pdf/gdmh.pdf>. @arg@ 18102- is conceptually equivalent to: 18103- 18104- > arg t = case t of 18105- > _ | isTyVar t -> if (t == argVar) then Par1 else Par0 t 18106- > App f [t'] | 18107- representable1 f && 18108- t' == argVar -> Rec1 f 18109- > App f [t'] | 18110- representable1 f && 18111- t' has tyvars -> f :.: (arg t') 18112- > _ -> Rec0 t 18113- 18114- where @argVar@ is the last type variable in the data type declaration we are 18115- finding the representation for. 18116- 18117- @argTyFold@ is more general than @arg@ because it uses 'ArgTyAlg' to 18118- abstract out the concrete invocations of @Par0@, @Rec0@, @Par1@, @Rec1@, and 18119- @:.:@. 18120- 18121- @argTyFold@ is safer than @arg@ because @arg@ would lead to a GHC panic for 18122- some data types. The problematic case is when @t@ is an application of a 18123- non-representable type @f@ to @argVar@: @App f [argVar]@ is caught by the 18124- @_@ pattern, and ends up represented as @Rec0 t@. This type occurs /free/ in 18125- the RHS of the eventual @Rep1@ instance, which is therefore ill- formed. Some 18126- representable1 checks have been relaxed, and others were moved to 18127- @canDoGenerics1@. 18128- 0% ( 0 / 8) in 'TcGenGenerics' }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8663> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32
by GHC 30 Jan '14

30 Jan '14

#7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32 -------------------------------+---------------------------------- Reporter: cetinsert | Owner: thoughtpolice Type: bug | Status: patch Priority: highest | Milestone: 7.8.1 Component: GHCi | Version: 7.6.1-rc1 Resolution: | Keywords: R_X86_64_PC32 Operating System: Windows | Architecture: x86_64 (amd64) Type of failure: GHCi crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------+---------------------------------- Comment (by Austin Seipp <austin@…>): In [changeset:"fda9bebc61cab7235123b50dc70dbf30f0140dad/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="fda9bebc61cab7235123b50dc70dbf30f0140dad" Fix some edge cases in 8f8bd88c (#7134) Signed-off-by: Austin Seipp <austin(a)well-typed.com> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7134#comment:56> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7015: Add support for 'static'
by GHC 30 Jan '14

30 Jan '14

#7015: Add support for 'static' -------------------------------------+------------------------------------ Reporter: edsko | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by facundo.dominguez): Discussion is also happening [https://groups.google.com/forum/#!topic /parallel-haskell here]. Threads went disjoint. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32
by GHC 30 Jan '14

30 Jan '14

#7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32 -------------------------------+---------------------------------- Reporter: cetinsert | Owner: thoughtpolice Type: bug | Status: patch Priority: highest | Milestone: 7.8.1 Component: GHCi | Version: 7.6.1-rc1 Resolution: | Keywords: R_X86_64_PC32 Operating System: Windows | Architecture: x86_64 (amd64) Type of failure: GHCi crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------+---------------------------------- Comment (by thoughtpolice): Awesome, thank you Kyrill. I'm testing this now. (FWIW, you will officially become "Windows Commander in Chief" soon enough if you're not careful... :) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7134#comment:55> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7478: setSessionDynFlags does not always work
by GHC 30 Jan '14

30 Jan '14

#7478: setSessionDynFlags does not always work -------------------------------------+------------------------------------ Reporter: edsko | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: ghc-api/T7478 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by MikolajKonarski): BTW, right now (I don't know how it was before) calling `setSessionDynFlags` causes significant memory leaks, visible already in tests with a couple hundred modules and calls. If anybody is interested, I can try to extract a test from my code that uses GHC API, but it's GHC version dependent, etc., so I'd rather not do it until anybody is actively looking at this. But it's straightforward: basically, in a loop: {{{ setSessionDynFlags flags setTargets yetAnotherSIngleModule load LoadAllTargets }}} Even if we load 100 of modules and then just keep reloading the same module, memory will increase all the time. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7478#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8700: Cross-compilation perf-cross BuildFlavour
by GHC 30 Jan '14

30 Jan '14

#8700: Cross-compilation perf-cross BuildFlavour -------------------------------------------+------------------------------- Reporter: lukexi | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Build System | Version: 7.8.1-rc1 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 hour) | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- Adds a perf-cross BuildFlavour to build.mk.sample in preparation for release-ready builds of GHC iOS cross compilers. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8700> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32
by GHC 30 Jan '14

30 Jan '14

#7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32 -------------------------------+---------------------------------- Reporter: cetinsert | Owner: thoughtpolice Type: bug | Status: patch Priority: highest | Milestone: 7.8.1 Component: GHCi | Version: 7.6.1-rc1 Resolution: | Keywords: R_X86_64_PC32 Operating System: Windows | Architecture: x86_64 (amd64) Type of failure: GHCi crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------+---------------------------------- Changes (by awson): * owner: => thoughtpolice -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7134#comment:54> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32
by GHC 30 Jan '14

30 Jan '14

#7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32 -------------------------------+---------------------------------- Reporter: cetinsert | Owner: Type: bug | Status: patch Priority: highest | Milestone: 7.8.1 Component: GHCi | Version: 7.6.1-rc1 Resolution: | Keywords: R_X86_64_PC32 Operating System: Windows | Architecture: x86_64 (amd64) Type of failure: GHCi crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------+---------------------------------- Changes (by awson): * status: new => patch -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7134#comment:53> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0