July 2015 - ghc-tickets

Re: [GHC] #10694: CPR analysis too optimistic when returning a component of a product
by GHC 27 Jul '15

27 Jul '15

#10694: CPR analysis too optimistic when returning a component of a product -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: 10678 Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by rwbarton): Something funny happened while filing this ticket (see #10695) and I did not receive an email about it, so here is a content-free comment to make sure the ticket gets seen. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10694#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #10695: Trac errors when creating a ticket with a Blocking: field (was: test ticket, please ignore)
by GHC 27 Jul '15

27 Jul '15

#10695: Trac errors when creating a ticket with a Blocking: field -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: hvr Type: bug | Status: new Priority: normal | Milestone: Component: Trac & Git | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: 10694 Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Description changed by rwbarton: Old description: > I got an error message when filing ticket #10694, though the ticket was > in fact created. The error was: > > {{{ > Trac detected an internal error: > AttributeError: 'NoneType' object has no attribute 'split' > }}} > > Possibly it had something to do with the fact that I filled in the > Blocking: field? New description: I got an error message when filing ticket #10694, though the ticket was in fact created. The error was: {{{ Trac detected an internal error: AttributeError: 'NoneType' object has no attribute 'split' }}} Possibly it had something to do with the fact that I filled in the Blocking: field? Update: I think so, since I did the same on this ticket to test and Trac errored again. If Trac is just erroring on all ticket creation I assume it will be fixed quickly :) Specifically, I entered the value `#10678` when filing #10694. Maybe I wasn't supposed to include the `#`. -- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10695#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4019: deriving Ord can produce incorrect and inefficient instances
by GHC 27 Jul '15

27 Jul '15

#4019: deriving Ord can produce incorrect and inefficient instances -------------------------------------+------------------------------------- Reporter: rl | Owner: Type: bug | Status: closed Priority: low | Milestone: Component: Compiler | Version: 6.13 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect result | Unknown/Multiple at runtime | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => fixed Comment: Let's skip that regression test on a bug that was fixed 5 years ago. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4019#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10693: Profile ghc -j with an eye for performance issues
by GHC 27 Jul '15

27 Jul '15

#10693: Profile ghc -j with an eye for performance issues -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | performance bug Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- `ghc -j` doesn't seem to scale as well as it could. Reports claim that even packages with embarasssingly parallel module structures (e.g. `highlighting-kate`) only scale out to three or so processors. Profiling a parallel build would be a useful first step to finding out why. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10693> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #10620: Primitive chars and strings aren't handled by Template Haskell's quasiquoter
by GHC 27 Jul '15

27 Jul '15

#10620: Primitive chars and strings aren't handled by Template Haskell's quasiquoter -------------------------------------+------------------------------------- Reporter: | Owner: RyanGlScott RyanGlScott | Status: new Type: bug | Milestone: Priority: normal | Version: 7.10.1 Component: Template | Operating System: Unknown/Multiple Haskell | Type of failure: GHC rejects Keywords: | valid program Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Currently, Template Haskell can't quasiquote {{{Char#}}} or {{{Addr#}}} values: {{{ $ ghci -XTemplateHaskell -XMagicHash GHCi, version 7.10.1: http://www.haskell.org/ghc/ :? for help λ> import Language.Haskell.TH λ> $([| 'a'# |]) <interactive>:3:6: Exotic literal not (yet) handled by Template Haskell 'a'# λ> $([| "a"# |]) <interactive>:4:6: Exotic literal not (yet) handled by Template Haskell "a"## }}} To fix this, we'd need to change the API of {{{template-haskell}}} a bit, since {{{Lit}}} has a {{{StringPrimL}}} but not a {{{CharPrimL}}} constructor. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10620> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #10688: Incorrect program produced, different result with equivalent code
by GHC 27 Jul '15

27 Jul '15

#10688: Incorrect program produced, different result with equivalent code -------------------------------------+------------------------------------- Reporter: Ideophage | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Linux Architecture: | Type of failure: Incorrect result Unknown/Multiple | at runtime Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- The program enters an infinite loop (100% cpu, not stopping) because it fails to recognize the stopping condition of a takeWhile. If we make the list finite, it takes all the elements while it should stop before. I don't know how to simplify the code since if I change it a little (e.g. by replacing the name of an object by its definition), sometimes it works well, sometimes not. When I enter the code in ghci, it works well but not when compiled. I don't know if I should explain what the code was for initially, tell me. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10688> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14

Re: [GHC] #7647: UNPACK polymorphic fields
by GHC 27 Jul '15

27 Jul '15

#7647: UNPACK polymorphic fields -------------------------------------+------------------------------------- Reporter: liyang | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: #3990 #9655 | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * related: #3990 => #3990 #9655 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7647#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7647: UNPACK polymorphic fields
by GHC 27 Jul '15

27 Jul '15

#7647: UNPACK polymorphic fields -------------------------------------+------------------------------------- Reporter: liyang | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: #3990 | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thomie): * cc: MikeIzbicki (added) * related: 3990 => #3990 Comment: See this [https://izbicki.me/blog/fast-nearest-neighbor-queries-in- haskell.html blog post] for a request for "polymorphic unpacking", in the section "Lesson 1: Polymorphic code in GHC is slower than it needs to be." The blog post also refers to a [https://www.reddit.com/r/haskell/comments/29onpf/why_does_ghc_always_box_po… reddit discussion] on the subject. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7647#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10522: Add UInfixT, like UInfixE or UInfixP but for types
by GHC 27 Jul '15

27 Jul '15

#10522: Add UInfixT, like UInfixE or UInfixP but for types -------------------------------------+------------------------------------- Reporter: spinda | Owner: Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.10.1 Component: Template | Operating System: Unknown/Multiple Haskell | Type of failure: None/Unknown Keywords: | Blocked By: Architecture: | Related Tickets: Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- TemplateHaskell provides [https://hackage.haskell.org/package/template- haskell-2.10.0.0/docs/Language-Haskell-TH-Syntax.html#infix UInfixE and UInfixP] for punting fixity handling of infix operators in expressions and patterns. There doesn't seem to be an equivalent for type operators in TH's [https://hackage.haskell.org/package/template-haskell-2.10.0.0/docs /Language-Haskell-TH-Syntax.html#t:Type type representation], but it would be nice to have one. (In fact, it doesn't appear possible to implement this manually, either, as the TemplateHaskell doesn't expose fixity information at all for type operators, at least as far as I can tell.) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10522> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #5001: makeCorePair: arity missing
by GHC 26 Jul '15

26 Jul '15

#5001: makeCorePair: arity missing -------------------------------------+------------------------------------- Reporter: maeder | Owner: Type: bug | Status: new Priority: high | Milestone: 7.4.1 Component: Compiler | Version: 7.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Incorrect | Test Case: warning at compile-time | deSugar/should_compile/T5001 Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by thomie): Here is a test to reproduce the problem from comment:21. {{{#!haskell {-# LANGUAGE DefaultSignatures #-} module T5001b where class GEnum a where genum :: [a] default genum :: [a] genum = undefined instance GEnum Int where {-# INLINE genum #-} }}} {{{ $ ghc-7.10.2 T5001b.hs [1 of 1] Compiling T5001b ( T5001b.hs, T5001b.o ) makeCorePair: arity missing $cgenum_am5 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5001#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0