September 2013 - ghc-tickets

Re: [GHC] #3996: bug in GHC when compiling HOC (SVN revision 413)
by GHC 07 Sep '13

07 Sep '13

#3996: bug in GHC when compiling HOC (SVN revision 413) ---------------------------------+------------------------------------ Reporter: andrewe | Owner: Type: bug | Status: closed Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.10.4 Resolution: invalid | Keywords: HOC Operating System: MacOS X | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ---------------------------------+------------------------------------ Changes (by monoidal): * status: new => closed * difficulty: => Unknown * resolution: => invalid Comment: I'm closing: the bug is old and apparently was not reproduced with 6.12. If it happens with new GHC, please create a new ticket. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3996#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7807: Parse error with "where" and file-ending comment
by GHC 07 Sep '13

07 Sep '13

#7807: Parse error with "where" and file-ending comment --------------------------------------+------------------------------------ Reporter: goldfire | Owner: Type: bug | Status: closed Priority: high | Milestone: 7.8.1 Component: Compiler (Parser) | 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: | Related Tickets: --------------------------------------+------------------------------------ Comment (by goldfire): Thanks, monoidal. Sorry for not responding to the infoneeded -- I guess I just skipped over this bug report when it landed in my email. My guess is that the original problem was caused by a shift-reduce conflict in the way that the old implementation parsed the equations. The new implementation avoids the shift-reduce conflict, and, evidently, this error. Thanks, both, for taking a look at this! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7807#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7807: Parse error with "where" and file-ending comment
by GHC 07 Sep '13

07 Sep '13

#7807: Parse error with "where" and file-ending comment --------------------------------------+------------------------------------ Reporter: goldfire | Owner: Type: bug | Status: closed Priority: high | Milestone: 7.8.1 Component: Compiler (Parser) | 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: | Related Tickets: --------------------------------------+------------------------------------ Changes (by monoidal): * status: infoneeded => closed * resolution: => fixed Comment: "type instance where" was old notation for closed type families before commit 569b26526403df4d88fe2a6d64c7dade09d003ad (Revise implementation of overlapping type family instances, 21/6/2013). This commit changed the syntax to {{{ type family F a where F Int = Bool }}} I can reproduce the file-ending newline bug with old syntax before the commit but not with new syntax afterwards. I can't tell how the parser changes made this happen, but it seems it's safe to close this bug. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7807#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8196: Core Lint error in Specialise with PolyKinds and derived instance
by GHC 07 Sep '13

07 Sep '13

#8196: Core Lint error in Specialise with PolyKinds and derived instance -------------------------+------------------------------------------------- Reporter: | Owner: adamgundry | Status: new Type: bug | Milestone: Priority: | Version: 7.7 normal | Operating System: Unknown/Multiple Component: | Type of failure: Incorrect warning at Compiler | compile-time Keywords: | Test Case: Architecture: | Blocking: Unknown/Multiple | Difficulty: | Unknown | Blocked By: | Related Tickets: | -------------------------+------------------------------------------------- The following causes a lint error when compiled with `-O` (but not with `-O0`): {{{ {-# LANGUAGE PolyKinds #-} {-# OPTIONS_GHC -dcore-lint -O #-} data T a b = MkT (a b) deriving Show main = print (MkT (Just True)) }}} For reference, the beginning of the (rather long) error message is: {{{ *** Core Lint errors : in result of Specialise *** <no location info>: Warning: In the type ‛Main.T k_XlN Data.Maybe.Maybe GHC.Types.Bool’ Kind application error in type ‛Main.T k_XlN Data.Maybe.Maybe GHC.Types.Bool’ Function kind = forall (k_alL :: BOX). (k_alL -> *) -> k_alL -> * Arg kinds = [(k_XlN, BOX), (Data.Maybe.Maybe, * -> *), (GHC.Types.Bool, *)] }}} It looks like something is wrong with the types of the derived `Show` instance, when `PolyKinds` is enabled. A similar problem applies to `Eq` (and perhaps other classes). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8196> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #322: fromInteger-related pattern match overlap warnings
by GHC 07 Sep '13

07 Sep '13

#322: fromInteger-related pattern match overlap warnings -------------------------------------+------------------------------------ Reporter: ashley-y | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: _|_ Component: Compiler | Version: 6.4 Resolution: None | Keywords: warnings Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: ds060 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by monoidal): See also #8016 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/322#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8016: case expression with mixed use of Num instances cause spurious overlap warning
by GHC 07 Sep '13

07 Sep '13

#8016: case expression with mixed use of Num instances cause spurious overlap warning -------------------------------------------------+------------------------- Reporter: bscarlet | Owner: Type: bug | Status: Priority: normal | closed Component: Compiler | Milestone: Resolution: duplicate | Version: 7.6.3 Operating System: Unknown/Multiple | Keywords: case Type of failure: Incorrect warning at | overlap compile-time | Architecture: Test Case: | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by monoidal): * status: new => closed * difficulty: => Unknown * resolution: => duplicate Comment: I'm closing as a duplicate of #322. Unfortunately GHC's pattern matching warnings need an overhaul. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8016#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7982: ASSERT failed: TcCanonical:520 for kind-checking unsaturated type families
by GHC 07 Sep '13

07 Sep '13

#7982: ASSERT failed: TcCanonical:520 for kind-checking unsaturated type families -------------------------------------+------------------------------------ Reporter: goldfire | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | 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: | Related Tickets: -------------------------------------+------------------------------------ Changes (by monoidal): * status: new => closed * difficulty: => Unknown * resolution: => fixed Comment: Looks good in HEAD {{{ λ> :k Foo Foo :: k -> * }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7982#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7684: cgrun071 segfaults
by GHC 06 Sep '13

06 Sep '13

#7684: cgrun071 segfaults ----------------------------------+---------------------------------- Reporter: tibbe | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: cgrun071 | Blocked By: Blocking: | Related Tickets: ----------------------------------+---------------------------------- Comment (by rwbarton): I'm attaching the patch that I outlined above, but please note that it is **completely untested** aside from me building ghc-prim and manually inspecting the disassembly for sanity. I'm not on Mac OS, so I can't do the interesting test anyways. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7684#comment:37> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8232: Add isFullTBQueue to stm package
by GHC 06 Sep '13

06 Sep '13

#8232: Add isFullTBQueue to stm package -------------------------------------+------------------------------------- Reporter: merijn | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: libraries (other) | Version: 7.6.3 Keywords: patch | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- I proposed the addition of isFullTBQueue on libraries@ (http://www.haskell.org/pipermail/libraries/2013-August/020284.html) which got no objections. Given how uncontroversial the change is and the lack of objections on the list, I'm considering this "accepted". -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8232> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #7684: cgrun071 segfaults
by GHC 06 Sep '13

06 Sep '13

#7684: cgrun071 segfaults ----------------------------------+---------------------------------- Reporter: tibbe | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: cgrun071 | Blocked By: Blocking: | Related Tickets: ----------------------------------+---------------------------------- Comment (by leroux): Here's a copy of the disassembly; I've gisted it since it is too large to be uploaded here. https://gist.github.com/leroux/6469840 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7684#comment:36> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0