February 2014 - ghc-tickets

[GHC] #8800: hpc dyld issue
by GHC 19 Feb '14

19 Feb '14

#8800: hpc dyld issue ----------------------------------+--------------------------------- Reporter: joelteon | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Code Coverage | Version: 7.8.1-rc1 Keywords: | Operating System: MacOS X Architecture: x86_64 (amd64) | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+--------------------------------- {{{ $ hpc dyld: Library not loaded: @rpath/libHShpc-0.6.0.1-ghc7.8.20140130.dylib Referenced from: /usr/local/bin/hpc Reason: image not found zsh: trace trap hpc }}} on OSX Mavericks. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8800> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #3924: Strictness analyser missing useful strictness
by GHC 18 Feb '14

18 Feb '14

#3924: Strictness analyser missing useful strictness -----------------------------------------+--------------------------------- Reporter: simonpj | Owner: Type: bug | Status: closed Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 6.12.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: callarity/perf/T3924 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: -----------------------------------------+--------------------------------- Comment (by nomeata): > Terrific. What were the "nice numbers"? I was referring to the effect of call-arity to the (very artificial) code of this ticket: Allocation went from 22326544 to 51480. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3924#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3924: Strictness analyser missing useful strictness
by GHC 18 Feb '14

18 Feb '14

#3924: Strictness analyser missing useful strictness -----------------------------------------+--------------------------------- Reporter: simonpj | Owner: Type: bug | Status: closed Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 6.12.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: callarity/perf/T3924 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: -----------------------------------------+--------------------------------- Comment (by simonpj): Terrific. What were the "nice numbers"? Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3924#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3924: Strictness analyser missing useful strictness
by GHC 18 Feb '14

18 Feb '14

#3924: Strictness analyser missing useful strictness -----------------------------------------+--------------------------------- Reporter: simonpj | Owner: Type: bug | Status: closed Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 6.12.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: callarity/perf/T3924 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: -----------------------------------------+--------------------------------- Changes (by nomeata): * status: new => closed * testcase: => callarity/perf/T3924 * resolution: => fixed Comment: Allright, pushed (mostly 2ab00bf and f347bfe) and testcase added. This concludes my internship at MSRC; any further bugs introduced by me can no longer be blamed on “a microsoft employee”. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3924#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3924: Strictness analyser missing useful strictness
by GHC 18 Feb '14

18 Feb '14

#3924: Strictness analyser missing useful strictness -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: bug | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 6.12.1 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 Joachim Breitner <mail@…>): In [changeset:"d3c579c75ffec4346a043582d89205998790145e/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="d3c579c75ffec4346a043582d89205998790145e" Call arity testcase for #3924 nice numbers coming from these micro-benchmarks. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3924#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3693: Show stack traces
by GHC 18 Feb '14

18 Feb '14

#3693: Show stack traces -------------------------------------+------------------------------------ Reporter: jpet | Owner: Tarrasch Type: feature request | Status: new Priority: normal | Milestone: 7.10.1 Component: Runtime System | Version: 6.10.4 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 simonmar): @simonpj: you might want to take a look at these patches before they land, since they make a lot of changes in coreSyn and the simplifier. Start here, and in particular look at `SourceNote` for high-level comments: https://github.com/scpmw/ghc/commit/d233ea4da0a5725d4d29a3fb68b9b8f7c9bc6d32 #diff-8b5b79c6cb1af2b387fa2d814cd0d3f6R1638 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3693#comment:61> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3034: divInt# floated into a position which leads to low arity
by GHC 18 Feb '14

18 Feb '14

#3034: divInt# floated into a position which leads to low arity --------------------------------------------+------------------------------ Reporter: batterseapower | Owner: Type: bug | Status: patch Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime performance bug | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by simonpj): And we don't have a reproducible test case. So let's just park this. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3034#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3924: Strictness analyser missing useful strictness
by GHC 18 Feb '14

18 Feb '14

#3924: Strictness analyser missing useful strictness -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: bug | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 6.12.1 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 nomeata): This looks like it can be solved by the new callartiy analysis. It does now, because * all the functions are top-level functions, and callartiy analysis now also looks at top-level functions, and * they are mutually recursive, which the callarity analysis does handle now. Now we get these signatures: {{{ $wf3 :: Int# -> Int# -> Int# -> Int# $wf4 :: Int# -> Int# -> Int# -> Int# -> Int# }}} (and f2 has disappeared, by inlining I supposed). Code is currently validating and will hit master soon after. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3924#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5682: Properly parse promoted data constructor operators
by GHC 18 Feb '14

18 Feb '14

#5682: Properly parse promoted data constructor operators -------------------------------------+------------------------------------- Reporter: lunaris | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.8.1-rc1 (Parser) | Keywords: PolyKinds, ghc- Resolution: | kinds Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: GHC rejects | Difficulty: Unknown valid program | Blocked By: Test Case: | Related Tickets: #8486 parser/should_compile/T5682 | Blocking: | -------------------------------------+------------------------------------- Comment (by simonpj): I have not reviewed in detail, but what you say sounds good. Would someone like to update the user-manual documentation (if necessary), validate, and commit? Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5682#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5682: Properly parse promoted data constructor operators
by GHC 18 Feb '14

18 Feb '14

#5682: Properly parse promoted data constructor operators -------------------------------------+------------------------------------- Reporter: lunaris | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.8.1-rc1 (Parser) | Keywords: PolyKinds, ghc- Resolution: | kinds Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: GHC rejects | Difficulty: Unknown valid program | Blocked By: Test Case: | Related Tickets: #8486 parser/should_compile/T5682 | Blocking: | -------------------------------------+------------------------------------- Changes (by guest): * status: closed => new * resolution: fixed => Comment: Promoted tuple constructors (e.g. `'(,,)`) still don't parse. This patch to `compiler/parser/Parser.y.pp` fixes it. With this patch, `'` can be used with any `qcon` so the redundant rules have been removed. Using an un-promotable data constructor will give a meaningful error message such as `Data constructor ‛(##)’ comes from an un-promotable type ‛(##)’` instead of a parse error. `'(' varop ')'` was changed to `var` because `'id` is more consistent than {{{'(`id`)}}} and `btype SIMPLEQUOTE varop type` (in `type` and `typedoc`) allows backquoted identifiers as operators. {{{ 1154,1155c1154 < | SIMPLEQUOTE qconid { LL $ HsTyVar $ unLoc $2 } < | SIMPLEQUOTE '(' ')' { LL $ HsTyVar $ getRdrName unitDataCon } --- > | SIMPLEQUOTE qcon { LL $ HsTyVar $ unLoc $2 } 1158,1159c1157 < | SIMPLEQUOTE '(' qconop ')' { LL $ HsTyVar (unLoc $3) } < | SIMPLEQUOTE '(' varop ')' { LL $ HsTyVar (unLoc $3) } --- > | SIMPLEQUOTE var { LL $ HsTyVar $ unLoc $2 } }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5682#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0