November 2014 - ghc-tickets

Re: [GHC] #7695: Hang when locale-archive and gconv-modules are not there
by GHC 24 Nov '14

24 Nov '14

#7695: Hang when locale-archive and gconv-modules are not there -------------------------------------+------------------------------------- Reporter: hpd | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: None | Version: 7.8.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Runtime | Blocked By: crash | Related Tickets: #8977 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by trommler): Replying to [comment:11 trommler]: > Replying to [comment:10 thomie]: > > Strange. When I run the commands from the description with ghc-7.8.3, cpu goes indeed to 100% and the process never finishes. When I do the same with HEAD, everything works fine. I'm on Ubuntu 14.04 x86_64. > Strange. Perhaps I will try again with a freshly checked out tree. I am never sure if the submodules worked out right. But blame that on my lack of git skills. On a fresh clone of HEAD at 41c3545 I still see the issue on openSUSE 13.2 i586. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7695#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2269: Word type to Double or Float conversions are slower than Int conversions
by GHC 24 Nov '14

24 Nov '14

#2269: Word type to Double or Float conversions are slower than Int conversions -------------------------------------+------------------------------------- Reporter: dons | Owner: dons@… Type: feature | Status: new request | Milestone: 7.10.1 Priority: lowest | Version: 6.8.2 Component: Compiler | Keywords: rules, Resolution: | performance, double Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Runtime | Blocked By: performance bug | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by thomie): Primops for word2Double and word2Float were added 2 years ago. commit 2e8c769422740c001e0a247bfec61d4f78598582 {{{ Author: Johan Tibell <> Date: Wed Dec 5 19:08:48 2012 -0800 Implement word2Float# and word2Double# }}} commit cd01e48fbc548ff8d81ab547108bfdde8a113cd7 {{{ Author: Johan Tibell <> Date: Thu Dec 13 12:03:40 2012 -0800 Add test for word2Double# and word2Float# }}} commit a18cf9cbdfec08732f5b7e0c886a5d899a6a5998 {{{ Author: Johan Tibell <> Date: Thu Dec 13 14:49:58 2012 -0800 Add fromIntegral/Word->Double and fromIntegral/Word-Float rules }}} commit 8cd4ced57dccc1f4f54d242982209ec61e145700 {{{ Author: Johan Tibell <> Date: Tue Dec 18 14:40:02 2012 +0100 perf test for Word->Float/Double conversion }}} commit 6d5f25f5e0b33173fb2e7983cab40808c723f220 {{{ Author: Geoffrey Mainland <> Date: Thu Jan 3 16:59:03 2013 +0000 Fix LLVM code generated for word2Float# and word2Double#. }}} commit 744035fdd4b882c17ef7c6e4439b9e7099e7ec3d {{{ Author: Johan Tibell <> Date: Mon Jan 7 21:35:07 2013 -0800 Fix Word2Float# test on 32-bit }}} The resulting core of the example from the description now looks the same for `Word->Double` as for `Int->Double`. {{{ $ cabal install vector $ cat test.hs {-# LANGUAGE CPP #-} import Data.Vector as V import Data.Word main = print . V.sum #ifdef WORD . V.map (fromIntegral::Word->Double) #else . V.map (fromIntegral::Int->Double) #endif $ V.enumFromTo 0 100000000 $ ghc -ddump-simpl -dsuppress-all -O2 -fforce-recomp -DWORD test.hs -o testWord ... main_$s$wfoldlM'_loop main_$s$wfoldlM'_loop = \ sc_s5G6 sc1_s5G7 -> case tagToEnum# (leWord# sc1_s5G7 (__word 100000000)) of _ { False -> sc_s5G6; True -> main_$s$wfoldlM'_loop (+## sc_s5G6 (word2Double# sc1_s5G7)) (plusWord# sc1_s5G7 (__word 1)) } ... $ ghc -ddump-simpl -dsuppress-all -O2 -fforce-recomp -DINT test.hs -o testInt ... main_$s$wfoldlM'_loop main_$s$wfoldlM'_loop = \ sc_s5GQ sc1_s5GR -> case tagToEnum# (<=# sc1_s5GR 100000000) of _ { False -> sc_s5GQ; True -> main_$s$wfoldlM'_loop (+## sc_s5GQ (int2Double# sc1_s5GR)) (+# sc1_s5GR 1) } }}} But `testWord` is still 3 times slower than `testInt`. {{{ $ time ./testWord 5.00000005e15 real 0m0.579s user 0m0.575s sys 0m0.003s $ time ./testInt 5.00000005e15 real 0m0.196s user 0m0.191s sys 0m0.004s }}} As I can not easily explain this difference, I'll leave this ticket open for now. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2269#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9826: add Storable Complex and Ratio instance to base library
by GHC 24 Nov '14

24 Nov '14

#9826: add Storable Complex and Ratio instance to base library -------------------------------------+------------------------------------- Reporter: carter | Owner: carter Type: feature request | Status: new Priority: normal | Milestone: 7.10.1 Component: libraries/base | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- per the libraries discussion + core libraries committee OK, I'm putting a phab differential up for adding Storable instances for Complex and Ratio (and then noticing that theres basically NO tests for Storable except indirectly) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9826> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #5364: Access RTS flag values from inside Haskell programs
by GHC 24 Nov '14

24 Nov '14

#5364: Access RTS flag values from inside Haskell programs -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ekmett Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.3 Component: Core | Keywords: Libraries | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D306 | -------------------------------------+------------------------------------- Comment (by Austin Seipp <austin@…>): In [changeset:"1617a10aaa75567b776d4a47200ddaa1267771db/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="1617a10aaa75567b776d4a47200ddaa1267771db" accessors to RTS flag values -- #5364 Summary: Implementation of #5364. Mostly boilerplate, reading FILE fields is missing. Test Plan: - Get some feedback on missing parts. (FILE fields) - Get some feedback on module name. - Get some feedback on other things. - Get code reviewed. - Make sure test suite is passing. (I haven't run it myself) Reviewers: hvr, austin, ezyang Reviewed By: ezyang Subscribers: ekmett, simonmar, ezyang, carter, thomie Differential Revision: https://phabricator.haskell.org/D306 GHC Trac Issues: #5364 Conflicts: includes/rts/Flags.h }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5364#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4505: Segmentation fault on long input (list of pairs)
by GHC 24 Nov '14

24 Nov '14

#4505: Segmentation fault on long input (list of pairs) -------------------------------------+------------------------------------- Reporter: cathper | Owner: simonmar Type: bug | Status: new Priority: high | Milestone: 7.10.1 Component: Compiler | Version: 7.0.1 Resolution: | Keywords: Segmentation Operating System: Linux | fault, segfault, long input Type of failure: Runtime | Architecture: x86_64 (amd64) crash | Difficulty: Unknown Test Case: | Blocked By: 4258 Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Changes (by simonpj): * owner: => simonmar * priority: normal => high Comment: Simon M: might you re-instate the previous fix, helpfully identified by Yuras, pending a more glorious resolution. (With a pointer from the fix back to this ticket.) I'll make the priority high, because it seems easy and much better than a runtime crash. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4505#comment:25> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7854: Constrained method type accepted in Haskell 98 mode
by GHC 24 Nov '14

24 Nov '14

#7854: Constrained method type accepted in Haskell 98 mode -------------------------------------+------------------------------------- Reporter: refold | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: newcomer 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 simonpj): * keywords: => newcomer -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7854#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7854: Constrained method type accepted in Haskell 98 mode
by GHC 24 Nov '14

24 Nov '14

#7854: Constrained method type accepted in Haskell 98 mode -------------------------------------+------------------------------------- Reporter: refold | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 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): I agree with monoidal. Would someone like to do that? Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7854#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7695: Hang when locale-archive and gconv-modules are not there
by GHC 24 Nov '14

24 Nov '14

#7695: Hang when locale-archive and gconv-modules are not there -------------------------------------+------------------------------------- Reporter: hpd | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: None | Version: 7.8.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Runtime | Blocked By: crash | Related Tickets: #8977 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by trommler): Replying to [comment:10 thomie]: > Strange. When I run the commands from the description with ghc-7.8.3, cpu goes indeed to 100% and the process never finishes. When I do the same with HEAD, everything works fine. I'm on Ubuntu 14.04 x86_64. Strange. Perhaps I will try again with a freshly checked out tree. I am never sure if the submodules worked out right. But blame that on my lack of git skills. > trommler: do you maybe have a better test for this bug? I use `ghc --version`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7695#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7870: Compilation errors break the complexity encapsulation on DSLs, impairs success in industry
by GHC 24 Nov '14

24 Nov '14

#7870: Compilation errors break the complexity encapsulation on DSLs, impairs success in industry -------------------------------------+------------------------------------- Reporter: agocorona | Owner: Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.7 Component: Compiler | Keywords: DSL, Error, (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 baramoglo): * cc: emax@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7870#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7521: Simplifier ticks exhausted when compiling Accelerate example.
by GHC 23 Nov '14

23 Nov '14

#7521: Simplifier ticks exhausted when compiling Accelerate example. -------------------------------------+------------------------------------- Reporter: eamsden | Owner: Type: bug | Status: new Priority: high | Milestone: 7.10.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Compile- | Blocked By: time crash | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * os: Linux => Unknown/Multiple Comment: The file `accelerate-examples.cabal` in the latest version of that package (0.15.0.0) contains: {{{ if impl(ghc >= 7.6) ghc-options: -fsimpl-tick-factor=130 }}} When I remove those lines, trying to build the package with ghc-7.8.3 still results in a `Simplifier ticks exhausted` panic. Steps to reproduce: {{{ $ sudo apt-get install c2hs freeglut3-dev $ cabal get accelerate-examples==0.15.0.0 $ cd accelerate-examples $ cabal install --dependencies-only # `accelerate-cuda` might fail to install, just ignore that # edit `accelerate-examples.cabal` $ cabal build }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7521#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0