- ghc-tickets - Haskell.org

Re: [GHC] #7240: Stack trace truncated too much with indirect recursion
by GHC 29 Nov '13

29 Nov '13

#7240: Stack trace truncated too much with indirect recursion -------------------------------------+------------------------------------ Reporter: nomeata | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Profiling | Version: 7.4.1 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): * owner: nomeata => Comment: I kind stopped working on this, thus unowning me. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7240#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2233: Overhaul System.Process
by GHC 29 Nov '13

29 Nov '13

#2233: Overhaul System.Process --------------------------------------+------------------------------------ Reporter: simonmar | Owner: simonmar Type: task | Status: patch Priority: normal | Milestone: _|_ Component: libraries/process | 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: --------------------------------------+------------------------------------ Comment (by duncan): hvr noticed that a test was failing. I noticed that the `ignoreSigPipe` should be cover the hFlush ''as well'' (my fault). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2233#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8570: In a pattern binding:ghc: panic! (the 'impossible' happened): Bogus selector Id
by GHC 29 Nov '13

29 Nov '13

#8570: In a pattern binding:ghc: panic! (the 'impossible' happened): Bogus selector Id ----------------------------------+--------------------------------------- Reporter: rzetterberg | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Linux Architecture: x86_64 (amd64) | Type of failure: Compile-time crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+--------------------------------------- Hello, This is my first bug report for GHC. I encountered a type error when compiling my program that said to report the error as a bug here. I tried searching for similar bugs, but could not find any bugs with the same problem. I'm sorry in advance if I have misunderstood anything or if there indeed are any duplicates of this problem! '''The error output''' {{{ src/app/Templates/Pages.hs:214:17: Constructor `Image' does not have field `filepath' In the pattern: Image {filepath = fp} In a pattern binding: Image {filepath = fp} = logo In an equation for `renderLogo': renderLogo (Design {mlogo = (Just logo)}) = H.a ! A.href "/" ! A.class_ "navbar-brand" $ H.img ! A.src (toValue fp) where Image {filepath = fp} = logo src/app/Templates/Pages.hs:214:34: Couldn't match expected type `Field' with actual type `Image' In the expression: logo In a pattern binding:ghc: panic! (the 'impossible' happened) (GHC version 7.6.3 for x86_64-unknown-linux): Bogus selector Id Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} '''When/why does this happen?''' I encountered this problem when I accidentally imported a field in a data named "Image" from module A, and imported the constructor of a different data structure from a different module also named "Image". I guess the type error itself is valid since it doesn't make sense to do what I did, but the way GHC handles this corner case internally is the source of the panic. Here are my imports: {{{ import Data.Image (Image(filepath)) import Data.Form (Field(..), FieldResult(..)) }}} Data.Image contains the data structure Image, whereas Data.Form contains the data structure Field which has a constructor named Image. Here is the the data structure in Data.Image: {{{ data Image = Image { id :: Integer , categoryId :: Integer , name :: String , filepath :: String , createdAt :: LocalTimestamp } deriving (Show) }}} And here is the data structure in Data.Form: {{{ data Field = Password Name Label | Text Name Label Value | Email Name Label Value | InlineArea Name Label Html | Hidden Name Value | Image Name Label | Select Name Label [SelectItem] SelectedId | CheckBox Name Label Selected }}} And here is the line I use the filepath field in my template file: {{{ where Image{filepath = fp} = logo }}} '''Can this GHC panic be avoided?''' Yes, by specifically importing from the same module. Like so: {{{ import Data.Image (Image(Image, filepath) import Data.Form (Field(InlineArea), FieldResult(..)) }}} ---- If there is anything more I can do to help, just let me know! Thank you Richard Zetterberg -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8570> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

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

29 Nov '13

#7962: "ghc -e <invalid expression>" should return non-zero exit status ------------------------------------+------------------------------------ Reporter: timmaxw | Owner: Type: feature request | Status: patch 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: ------------------------------------+------------------------------------ Changes (by khyperia): * status: new => patch -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7962#comment:11> 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): Attached Simon's suggestion, and also some *possible* test files (which are, ironically, untested). I am not submitting them as a .patch because of their untested nature, and more of a "here's an example of what it might look like". Also, I thought it might be better if they go into testsuite/tests/ghc-e, not ghci. I'll go submit a ticket for the failing test suite now. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7962#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[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