- ghc-tickets - Haskell.org

[GHC] #8044: "Inaccessible code" error reported in wrong place
by GHC 25 Nov '14

25 Nov '14

#8044: "Inaccessible code" error reported in wrong place -------------------------------------------+------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.7 Keywords: GADTs | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- Here is my file `Bug.hs`: {{{ {-# LANGUAGE GADTs, TypeFamilies #-} module Bug where data X a where XInt :: X Int XBool :: X Bool XChar :: X Char type family Frob a where Frob Int = Int Frob x = Char frob :: X a -> X (Frob a) frob XInt = XInt frob _ = XChar }}} Compiling this file produces the error {{{ Bug.hs:15:6: Couldn't match type ‛Int’ with ‛Char’ Inaccessible code in a pattern with constructor XInt :: X Int, in an equation for ‛frob’ In the pattern: XInt In an equation for ‛frob’: frob XInt = XInt }}} The line/column number single out the pattern `XInt` in the first clause of the function `frob`. But, the real problem (as I see it), is the right- hand side of the ''second'' clause of `frob`. Indeed, when I comment out the second line of the function, the error goes away, even though it was reported on the first line. I do not believe that this error is caused by closed type families, per se, because I have run across it without them, just in code that was too hard to pare down enough to make a bug report out of. This was tested on 7.7.20130702. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8044> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #7643: Kind application error
by GHC 25 Nov '14

25 Nov '14

#7643: Kind application error -------------------------------------+------------------------------------- Reporter: gmainland | Owner: simonpj Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.6.1 (Type checker) | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #7354, #8355 None/Unknown | Test Case: | typecheck/should_compile/T7643 | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by goldfire): * status: new => closed * testcase: => typecheck/should_compile/T7643 * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7643#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7643: Kind application error
by GHC 25 Nov '14

25 Nov '14

#7643: Kind application error -------------------------------------+------------------------------------- Reporter: gmainland | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.6.1 (Type checker) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #7354, #8355 None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"63d2adaef999258d874a760591e9c9ec3d75aeaf/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="63d2adaef999258d874a760591e9c9ec3d75aeaf" Test #7643 in typecheck/should_compile/T7643. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7643#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8031: Template Haskell gets confused with kind variables introduced in separate foralls
by GHC 25 Nov '14

25 Nov '14

#8031: Template Haskell gets confused with kind variables introduced in separate foralls -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Template | Version: 7.7 Haskell | Keywords: PolyKinds Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"5c3541548e441456ca6a0dd62caf8acd7fc5cf33/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="5c3541548e441456ca6a0dd62caf8acd7fc5cf33" Test #8031 in th/T8031 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8031#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7443: Generated C code under -prof -fprof-auto -fprof-cafs very slow to compile
by GHC 25 Nov '14

25 Nov '14

#7443: Generated C code under -prof -fprof-auto -fprof-cafs very slow to compile -------------------------------------+------------------------------------- Reporter: | Owner: orenbenkiki | Status: infoneeded Type: bug | Milestone: 7.10.1 Priority: normal | Version: 7.4.2 Component: Profiling | 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): * status: new => infoneeded Comment: I had a look at the files in the attached zip file. There is a `RUN` script with hard coded directory paths that don't exist on my system, two `.hscpp` that import a module called `Haski` that I can't find on hackage, and a giant `c` that is supposedly giving you troubles. As it stands, your problem is rather hard to reproduce. Could you please make a smaller, self-contained, example? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7443#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7460: Double literals generated bad core
by GHC 25 Nov '14

25 Nov '14

#7460: Double literals generated bad core -------------------------------------+------------------------------------- Reporter: tibbe | Owner: tibbe Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.4.2 Resolution: fixed | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Runtime | Blocked By: performance bug | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => fixed Comment: The word2Float and word2Double primops were added, which solved this issue. The output of `ghc-7.6.3 -ddump-simpl -O2 test.hs` contained calls to `doubleFromInteger`, but the same command using `ghc-7.8.3` does not (which is good). Other things must have changed as well, because the code is about twice as fast with 7.8.3, while comment:8 talked about a difference of only 20%. 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 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7460#comment:15> 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 25 Nov '14

25 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 25 Nov '14

25 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 25 Nov '14

25 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