November 2013 - ghc-tickets

[GHC] #8557: Panic "tcTyVarDetails" when :forcing a kind-polymorphic data family instance
by GHC 28 Nov '13

28 Nov '13

#8557: Panic "tcTyVarDetails" when :forcing a kind-polymorphic data family instance ------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- I have {{{ {-# LANGUAGE TypeFamilies, DataKinds, PolyKinds #-} data family Sing (a :: k) data instance Sing (a :: [k]) = SNil x :: Sing '[] x = SNil }}} When I load into GHCi and tried to force `x`, this happened: {{{ *Main> :force x ghc: panic! (the 'impossible' happened) (GHC version 7.7.20131031 for x86_64-apple-darwin): tcTyVarDetails k{tv a3Gv} [tv] }}} This was tested on the build from Oct 31 -- apologies if it has since been fixed. If I make the `[k]` in the instance declaration `k`, the file compiles fine. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8557> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8540: Template Haskell handling bug in ghc-7.7.20131115 under windows
by GHC 28 Nov '13

28 Nov '13

#8540: Template Haskell handling bug in ghc-7.7.20131115 under windows ----------------------------+---------------------------------- Reporter: awson | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Windows Architecture: x86 | Type of failure: Runtime crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------+---------------------------------- Compiling this: {{{ {-# LANGUAGE TemplateHaskell #-} module Foo where import Data.Aeson import Data.Aeson.TH data Test = Test $(deriveFromJSON defaultOptions ''Test) }}} ghc-7.7.20131115 crashes with {{{ Foo.hs:10:3: Can't find interface-file declaration for variable Data.Aeson.TH.parseTypeMismatch' Probable cause: bug in .hi-boot file, or inconsistent .hi file Use -ddump-if-trace to get an idea of which file caused the error In the expression: Data.Aeson.TH.parseTypeMismatch' "Test" "Foo.Test" "an empty Array" ("Array of length " ++ ((show . Data.Vector.length) arr_a3BM)) In a case alternative: Array arr_a3BM | Data.Vector.null arr_a3BM -> Control.Applicative.pure Test | otherwise -> Data.Aeson.TH.parseTypeMismatch' "Test" "Foo.Test" "an empty Array" ("Array of length " ++ ((show . Data.Vector.length) arr_a3BM)) In the expression: case value_a3BL of { Array arr_a3BM | Data.Vector.null arr_a3BM -> Control.Applicative.pure Test | otherwise -> Data.Aeson.TH.parseTypeMismatch' "Test" "Foo.Test" "an empty Array" ("Array of length " ++ ((show . Data.Vector.length) arr_a3BM)) other_a3BN -> Data.Aeson.TH.parseTypeMismatch' "Test" "Foo.Test" "Array" (Data.Aeson.TH.valueConName other_a3BN) } }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8540> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 16

Re: [GHC] #6084: Add stg_ap_pnnv and related call patterns
by GHC 28 Nov '13

28 Nov '13

#6084: Add stg_ap_pnnv and related call patterns -------------------------------------+------------------------------------ Reporter: SimonMeier | Owner: simonmar Type: feature request | Status: closed Priority: high | Milestone: 7.8.1 Component: Runtime System | Version: 7.7 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: 8313 | Related Tickets: -------------------------------------+------------------------------------ Changes (by simonmar): * status: patch => closed * resolution: => fixed Comment: Thanks - I pushed this today, with some more comments after peering at the generated code a bit. I also made a test that explored the three different code paths. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6084#comment:34> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6084: Add stg_ap_pnnv and related call patterns
by GHC 28 Nov '13

28 Nov '13

#6084: Add stg_ap_pnnv and related call patterns -------------------------------------+------------------------------------ Reporter: SimonMeier | Owner: simonmar Type: feature request | Status: patch Priority: high | Milestone: 7.8.1 Component: Runtime System | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: 8313 | Related Tickets: -------------------------------------+------------------------------------ Comment (by Simon Marlow <marlowsd@…>): In [changeset:"4d1ea482885481073d2fee0ea0355848b9d853a1/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="4d1ea482885481073d2fee0ea0355848b9d853a1" Implement shortcuts for slow calls (#6084) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6084#comment:33> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3103: Compiling base with cabal fails.
by GHC 28 Nov '13

28 Nov '13

#3103: Compiling base with cabal fails. -------------------------------------+------------------------------------ Reporter: Lemmih | Owner: Type: bug | Status: closed Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 6.10.1 Resolution: worksforme | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: T3103 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by Joachim Breitner <mail@…>): In [changeset:"2e161a4753c439d25b67a9a141180657642d7f91/testsuite"]: {{{ #!CommitTicketReference repository="testsuite" revision="2e161a4753c439d25b67a9a141180657642d7f91" #3103 no longer broken, it seems }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3103#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7962: "ghc -e <invalid expression>" should return non-zero exit status
by GHC 28 Nov '13

28 Nov '13

#7962: "ghc -e <invalid expression>" should return non-zero exit status ------------------------------------+------------------------------------ Reporter: timmaxw | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.6.2 Resolution: | Keywords: Operating System: Linux | Architecture: Unknown/Multiple Type of failure: Other | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ------------------------------------+------------------------------------ Comment (by simonmar): Patch reviewed, so leaving in the 'new' state. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7962#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7962: "ghc -e <invalid expression>" should return non-zero exit status
by GHC 28 Nov '13

28 Nov '13

#7962: "ghc -e <invalid expression>" should return non-zero exit status ------------------------------------+------------------------------------ Reporter: timmaxw | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.6.2 Resolution: | Keywords: Operating System: Linux | Architecture: Unknown/Multiple Type of failure: Other | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ------------------------------------+------------------------------------ Comment (by simonmar): The patch looks ok. I would refactor it a bit, like this: {{{ when (not success) $ maybe (return ()) lift sourceErrorHandler runCommands' eh sourceErrorHandler gCmd }}} Don't forget to add a test to testsuite/tests/ghci. If the testsuite isn't working right now, search for a ticket about that, and if there isn't one, make one :-) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7962#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7962: "ghc -e <invalid expression>" should return non-zero exit status
by GHC 28 Nov '13

28 Nov '13

#7962: "ghc -e <invalid expression>" should return non-zero exit status ------------------------------------+------------------------------------ Reporter: timmaxw | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.6.2 Resolution: | Keywords: Operating System: Linux | Architecture: Unknown/Multiple Type of failure: Other | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ------------------------------------+------------------------------------ Comment (by khyperia): Patch created and attached. The test suite currently does not run on my Windows machine ("tee: standard output: Permission denied", followed by a hang), so I was unable to run the validation script. As this is my first patch, please tell me what I did wrong :) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7962#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6084: Add stg_ap_pnnv and related call patterns
by GHC 28 Nov '13

28 Nov '13

#6084: Add stg_ap_pnnv and related call patterns -------------------------------------+------------------------------------ Reporter: SimonMeier | Owner: simonmar Type: feature request | Status: patch Priority: high | Milestone: 7.8.1 Component: Runtime System | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: 8313 | Related Tickets: -------------------------------------+------------------------------------ Comment (by parcs): I updated the patch to accommodate `fun` with a temporary variable. Let me know what you think. This optimization only triggers four times inside the nofib testsuite: twice in `lift:Print.lhs` and twice in `n-body:Main.hs`. According to subsequent nofib runs, the runtime of these two programs is not affected by the optimization. Compile time doesn't seem to have been affected either. But, as mentioned before, the runtime of the program in #8313 is significantly improved: 0.75s vs 3.9s. I also uploaded a test for the testsuite. The test is essentially a modified version of the program in #8313 which checks that the program returns the expected result. But I'm not confident that this is the best way to go about testing this optimization. Do you have a better idea? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6084#comment:32> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4426: Simplify the rules for implicit quantification
by GHC 28 Nov '13

28 Nov '13

#4426: Simplify the rules for implicit quantification -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: feature request | Status: patch Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 6.12.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #7880 -------------------------------------+------------------------------------ Comment (by monoidal): Patch updated for current HEAD. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4426#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0