December 2014 - ghc-tickets

[GHC] #8894: Clean up `Coercible` plumbing
by GHC 03 Dec '14

03 Dec '14

#8894: Clean up `Coercible` plumbing ------------------------------------+------------------------------------- Reporter: nomeata | Owner: Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.9 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Currently, the way `Coercible` is exported (with an data type in `GHC.Types` and a built-in !TyCon exported in `GHC.Prim`) works, but is confusing and should be cleaned up. Probably by exporting it directly from `GHC.Types`. Care needs to be taken that ghci and haddock display the data from modified built-in !TyCon; when I tried that a while ago it was displayed as a regular data type by one of them. If that is still the case and I didn't just do a mistake back then, this probably needs to be understood and fixed. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8894> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14

Re: [GHC] #3447: Class restrictions on type instances
by GHC 03 Dec '14

03 Dec '14

#3447: Class restrictions on type instances -------------------------------------+------------------------------------- Reporter: LysikovVV | Owner: Type: feature | Status: closed request | Milestone: ⊥ Priority: normal | Version: 6.10.4 Component: Compiler | Keywords: (Type checker) | Architecture: Unknown/Multiple Resolution: fixed | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by goldfire): * status: new => closed * resolution: => fixed Comment: The original poster claims that algebraic datakinds, available since 7.4, solves the original problem. Although Conor's comment:7 is still very relevant, I'm not sure what is served by keeping this ticket open. I'm planning to address the issues in comment:7 in my dependent types branch. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3447#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7109: Inlining depends on datatype size, even with INLINE pragmas
by GHC 03 Dec '14

03 Dec '14

#7109: Inlining depends on datatype size, even with INLINE pragmas -------------------------------------+------------------------------------- Reporter: dreixel | Owner: simonpj Type: bug | Status: infoneeded 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: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by simonpj): Replying to [comment:5 dreixel]: > I don't know how to tell GHC that it shouldn't be afraid of inlining stuff just because the terms are bigger. Well that's precisely what INLINE pragmas are for. But you know that, so you must mean something else. Pedro, can you be more precise/specific about how to reproduce the problem you are concerned about (perhaps `ghc -O Bug3.hs -ddump-simpl`? I assume you are going to say "I put an INLINE pragma here, but it doesn't work" or something like that. Fine! The more specific you can be, the better chance I have to understand and help. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7109#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9142: LLVM HEAD rejects aliases used by LLVM codegen
by GHC 03 Dec '14

03 Dec '14

#9142: LLVM HEAD rejects aliases used by LLVM codegen ------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- LLVM HEAD has [https://github.com/llvm- mirror/llvm/commit/38048cdb1c016e1429004ddf4adfa40a8d853cbf changed] the behavior of aliases to reject references to things other than definitions. This unfortunately means that the handling of externs breaks, {{{ "inplace/bin/ghc-stage1" -static -H64m -O0 -fllvm -Iincludes -Iincludes/dist -Iincludes/dist-derivedconstants/header -Iincludes/dist- ghcconstants/header -Irts -Irts/dist/build -DCOMPILING_RTS -package-name rts -dcmm-lint -i -irts -irts/dist/build -irts/dist/build/autogen -Irts/dist/build -Irts/dist/build/autogen -O2 -c rts/Apply.cmm -o rts/dist/build/Apply.o You are using a new version of LLVM that hasn't been tested yet! We will try though... Alias must point to a definition i8* @"barf$alias" Alias must point to a definition i8* @"stg_gc_unpt_r1$alias" Alias must point to a definition i8* @"stg_apply_interp_info$alias" Alias must point to a definition i8* @"stg_yield_to_interpreter$alias" Alias must point to a definition i8* @"stg_ap_stack_entries$alias" Alias must point to a definition i8* @"__stg_gc_enter_1$alias" Alias must point to a definition i8* @"stg_upd_frame_info$alias" LLVM ERROR: Broken module found, compilation aborted! }}} In reference to the following aliases,. {{{ @barf = external global i8 @barf$alias = alias private i8* @barf @stg_gc_unpt_r1 = external global i8 @stg_gc_unpt_r1$alias = alias private i8* @stg_gc_unpt_r1 @stg_apply_interp_info = external global i8 @stg_apply_interp_info$alias = alias private i8* @stg_apply_interp_info @stg_yield_to_interpreter = external global i8 @stg_yield_to_interpreter$alias = alias private i8* @stg_yield_to_interpreter @stg_ap_stack_entries = external global i8 @stg_ap_stack_entries$alias = alias private i8* @stg_ap_stack_entries @__stg_gc_enter_1 = external global i8 @__stg_gc_enter_1$alias = alias private i8* @__stg_gc_enter_1 @stg_upd_frame_info = external global i8 @stg_upd_frame_info$alias = alias private i8* @stg_upd_frame_info }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9142> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 28

Re: [GHC] #3321: -fhpc assumes original sources relative to the current directory
by GHC 02 Dec '14

02 Dec '14

#3321: -fhpc assumes original sources relative to the current directory -------------------------------------+------------------------------------- Reporter: duncan | Owner: Type: bug | Status: new Priority: lowest | Milestone: 7.10.1 Component: Code | Version: 6.10.1 Coverage | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * failure: => None/Unknown * component: Compiler => Code Coverage -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3321#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3373: GHC API is not thread safe
by GHC 02 Dec '14

02 Dec '14

#3373: GHC API is not thread safe -------------------------------------+------------------------------------- Reporter: jcpetruzza | Owner: Type: bug | Status: new Priority: low | Milestone: 7.10.1 Component: GHC API | Version: 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): * type: feature request => bug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3373#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3427: control what sort of entity a deprecated pragma applies to
by GHC 02 Dec '14

02 Dec '14

#3427: control what sort of entity a deprecated pragma applies to -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: low | Version: 6.10.4 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * failure: => None/Unknown * type: bug => feature request -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3427#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3447: Class restrictions on type instances
by GHC 02 Dec '14

02 Dec '14

#3447: Class restrictions on type instances -------------------------------------+------------------------------------- Reporter: LysikovVV | Owner: Type: feature | Status: new request | Milestone: ⊥ Priority: normal | Version: 6.10.4 Component: Compiler | Keywords: (Type checker) | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * failure: => None/Unknown * component: Compiler => Compiler (Type checker) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3447#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3458: Allocation where none should happen
by GHC 02 Dec '14

02 Dec '14

#3458: Allocation where none should happen -------------------------------------+------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: lowest | Milestone: 7.10.1 Component: Compiler | Version: 6.10.4 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Runtime | Blocked By: performance bug | Related Tickets: #1216, #5945, Test Case: | #6040 Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * failure: None/Unknown => Runtime performance bug * os: Linux => Unknown/Multiple * architecture: x86_64 (amd64) => Unknown/Multiple * related: => #1216, #5945, #6040 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3458#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3462: New codegen: allocate large objects using allocateLocal()
by GHC 02 Dec '14

02 Dec '14

#3462: New codegen: allocate large objects using allocateLocal() -------------------------------------+------------------------------------- Reporter: simonmar | Owner: simonmar Type: task | Status: new Priority: low | Milestone: 7.10.1 Component: Runtime | Version: 6.11 System | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: 4258 Type of failure: Runtime | Related Tickets: performance bug | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: simonmar (added) * failure: None/Unknown => Runtime performance bug * component: Compiler => Runtime System * owner: => simonmar Comment: Commit 5270423a6afe69f1dc57e5e5a474812182718d40: {{{ Author: Simon Marlow <> Date: Tue Dec 1 16:03:21 2009 +0000 ... - allocateLocal() now allocates large objects into the local nursery, rather than taking a global lock and allocating then in gen 0 step 0. ... - I removed the global allocate() function, and renamed allocateLocal() to allocate(). ... }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3462#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0