January 2014 - ghc-tickets

[GHC] #8715: Prompt stays at | instead of going back to > when pressing C-c in multi-line blocks.
by GHC 29 Jan '14

29 Jan '14

#8715: Prompt stays at | instead of going back to > when pressing C-c in multi- line blocks. -------------------------------------------+-------------------------- Reporter: RobinHoksbergen | Owner: Type: bug | Status: new Priority: low | Milestone: Component: GHCi | Version: 7.6.3 Keywords: | Operating System: Linux Architecture: x86_64 (amd64) | Type of failure: Other Difficulty: Easy (less than 1 hour) | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------------+-------------------------- Starting a block of code in GHCi is done by writing :{, upon which the prompt changes from '>' to '|'. Pressing C-c cancels the block of code, but the '|' prompt remains. This can be somewhat confusing in that it appears GHCi is still stuck in the current block of code, but returns an "unknown command ':}'" when trying to close it. Reproduction steps: * Run GHCi * Start a multi-line block with ':{' * (Optional) Write some code. * Close the block with C-c. * The block will now be closed, but the prompt remains. Opening and closing a new block using the same syntax did not solve the problem. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8715> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #7021: Tuple (and other exotic predicates) not yet handled in Template Haskell
by GHC 29 Jan '14

29 Jan '14

#7021: Tuple (and other exotic predicates) not yet handled in Template Haskell -------------------------+------------------------------------------------- Reporter: | Owner: goldfire | Status: new Type: | Milestone: 7.8.1 feature request | Version: 7.5 Priority: | Keywords: ConstraintKinds normal | TemplateHaskell Component: | Architecture: Unknown/Multiple Template Haskell | Difficulty: Unknown Resolution: | Blocked By: Operating System: | Related Tickets: Unknown/Multiple | Type of failure: | None/Unknown | Test Case: | Blocking: | -------------------------+------------------------------------------------- Comment (by yoeight): Thanks for your comments. About `foldM` and `go`, I thought I could traverse `tys` and apply the resulted type in one pass. Using `repTapps` is not as direct. Anyway, I ported the code to `repTapps` as it seems more appropriate. `foldM` and `go` looked too obfuscated. So as you suggested, `EqualityT` is now a nullary constructor and nullary type families are now supported. Let me now if there's any missing use case. Thanks again for your concern and time, don't worry I don't need to be mothered :-). Being offended by helping comments would be inconsistent with my 'How ghc works ?' goal. Updated patches are [https://gist.github.com/YoEight/8370987 here] Also do you have any idea why `testsuite/tests/perf/compiler/T4801.hs` fails ? It's the only failure I got so far. Regards, Yorick -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7021#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4267: Strictness analyser is to conservative about passing a boxed parameter
by GHC 29 Jan '14

29 Jan '14

#4267: Strictness analyser is to conservative about passing a boxed parameter -------------------------------------+------------------------------------ Reporter: tibbe | Owner: nomeata Type: bug | Status: closed Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 6.13 Resolution: fixed | 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): Unfortunately, #7994 would break this test ;-) {{{ bytes allocated value is too low: (If this is because you have improved GHC, please update the test so that GHC doesn't regress again) Expected bytes allocated: 130000 +/-10% Lower bound bytes allocated: 117000 Upper bound bytes allocated: 143000 Actual bytes allocated: 40992 *** unexpected failure for T4267(normal) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4267#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2110: Rules to eliminate casted id's
by GHC 29 Jan '14

29 Jan '14

#2110: Rules to eliminate casted id's -------------------------------------+------------------------------------ Reporter: igloo | Owner: Type: feature request | Status: patch Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by nomeata): * status: new => patch Comment: With `master` open for new stuff, I’d like to get this there, preferably within the next one or two weeks, to reduce the number of my patches that are floating around, so I’m marking this as please review. Open tasks are * Fixing the matching against `unsafeCoerce` (needs thought) * Actually adding rules to the libraries. * Documenting this somewhere I’ll open separate tickets for these once this one is in. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2110#comment:42> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7994: Make foldl into a good consumer
by GHC 29 Jan '14

29 Jan '14

#7994: Make foldl into a good consumer -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 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): With the patch above, the benefits from foldl-via-buildr and the call arity analysis are {{{ Min -0.2% -74.5% -9.6% -10.6% -50.0% Max +0.9% +1.7% +4.1% +4.1% +6.3% Geometric Mean -0.0% -4.0% -0.6% -0.7% -0.7% }}} with only one increase: `nucleic2`. It comes from a use of `maximum`, and it goes away when that is changed from `NOINLINE [1]` to `INLINE [1]` (GHC was inlining `maximum` while `foldl` was implemented naively, but not any more, so let's give it a push). Then we get the very pleasing result of no single benchmark with allocation increase: {{{ Min -0.1% -74.5% -6.8% -8.3% -50.0% Max +0.2% 0.0% +38.5% +38.5% 0.0% Geometric Mean -0.0% -4.1% +7.7% +7.7% -0.8% }}} This is the current state in the branch `wip/T7994-calledArity` of ghc, and the branch `wip/T7994` of base. The effect on compilation times needs to be measured, and quite possibly improved (e.g. not a full simplifier run after it, but only eta-expansion where possible and then a gentle simplification of the RHS). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7994#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

29 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: -------------------------------------+------------------------------------ Changes (by thoughtpolice): * priority: normal => highest -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7478#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

29 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: -------------------------------------+------------------------------------ Changes (by hyperthunk): * cc: watson.timothy@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

29 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: -------------------------------------+------------------------------------ Changes (by facundo.dominguez): * cc: facundominguez@… (added) Comment: A design proposal was submitted and discussed in [http://www.haskell.org/pipermail/glasgow-haskell- users/2014-January/024571.html this thread]. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

29 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: -------------------------------------+------------------------------------ Changes (by mboes): * cc: 0xbadcode@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

29 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 mboes): Relevant thread on the GHC Users mailing list: http://www.haskell.org/pipermail/glasgow-haskell- users/2014-January/024571.html. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0