February 2014 - ghc-tickets

Re: [GHC] #6147: GeneralizedNewtypeDeriving should fail with data families
by GHC 09 Feb '14

09 Feb '14

#6147: GeneralizedNewtypeDeriving should fail with data families ------------------------------------------------+-------------------------- Reporter: rl | Owner: Type: bug | simonpj Priority: high | Status: new Component: Compiler (Type checker) | Milestone: 7.8.1 Resolution: | Version: 7.2.1 Operating System: Unknown/Multiple | Keywords: Type of failure: GHC accepts invalid program | Architecture: Test Case: | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: ------------------------------------------------+-------------------------- Comment (by Richard Eisenberg <eir@…>): In [changeset:"9e0c1ae57526bacaca044a7ce5a6491fb6a7cb42/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="9e0c1ae57526bacaca044a7ce5a6491fb6a7cb42" Test #6147, which was fixed with the roles commit. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6147#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5462: Deriving clause for arbitrary classes
by GHC 09 Feb '14

09 Feb '14

#5462: Deriving clause for arbitrary classes -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 7.2.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 lerkok): * difficulty: => Unknown Comment: Is there any progress on this ticket? Looks like milestone was changed to 7.6.2. I've got 7.6.3 installed, which does not seem to support such deriving instances. Do I need a particular flag to enable this? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5462#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8469: GHCi reports out-of-scope type family instances with :info
by GHC 09 Feb '14

09 Feb '14

#8469: GHCi reports out-of-scope type family instances with :info ------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | 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 #-} module A () where type family F a type instance F Int = Bool }}} {{{ module B where import A }}} In GHCi: {{{ Prelude> :load B [1 of 2] Compiling A ( A.hs, interpreted ) [2 of 2] Compiling B ( B.hs, interpreted ) Ok, modules loaded: B, A. *B> :i Int data Int = GHC.Types.I# GHC.Prim.Int# -- Defined in ‛GHC.Types’ <snip> type instance A.F Int -- Defined at A.hs:6:1 *B> }}} This last output from `:info` should be suppressed, I would think. (I agree it should be printed with `:info!`.) Note the `()` in module `A`'s export list. This is a regression from 7.6.3, where the out-of-scope type family instance is not printed. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8469> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #8726: integer-gmp division regression
by GHC 09 Feb '14

09 Feb '14

#8726: integer-gmp division regression --------------------------+------------------------------------------------ Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: | Version: 7.7 libraries (other) | Operating System: Unknown/Multiple Keywords: | Type of failure: Incorrect result at runtime Integer | Test Case: Architecture: | Blocking: Unknown/Multiple | Difficulty: | Unknown | Blocked By: | Related Tickets: | --------------------------+------------------------------------------------ With ghc 7.6.3: {{{ ghci> quotRem 0x10000000000000001 (-0x100000) (-17592186044416,1) ghci> quotRem 0x10000001 (-0x100000) (-256,1) }}} with ghc 7.7 {{{ ghci> quotRem 0x10000000000000001 (-0x100000) (-17592186044416,-1) ghci> quotRem 0x10000001 (-0x100000) (-256,1) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8726> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #8755: Happy parser file compilation causes panic
by GHC 09 Feb '14

09 Feb '14

#8755: Happy parser file compilation causes panic ----------------------------------+--------------------------------------- Reporter: wting | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: x86_64 (amd64) | Type of failure: Compile-time crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+--------------------------------------- Sorry I can't be more descriptive, but I'm not exactly sure what's causing the compile time crash. I can compile it on GHC 7.4.1, but it crashes for GHC 7.6.3. {{{ ╭─ting@noa ~/panic ‹python-2.7.3› ‹master› ╰─➤ ghc DeclareParse.hs [1 of 4] Compiling Base ( Base.hs, Base.o ) [2 of 4] Compiling Lexer ( Lexer.hs, Lexer.o ) [3 of 4] Compiling Declare ( Declare.hs, Declare.o ) [4 of 4] Compiling DeclareParse ( DeclareParse.hs, DeclareParse.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.6.3 for x86_64-unknown-linux): Prelude.head: empty list Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} I've uploaded all the files here to check out: https://gist.github.com/wting/a6787a3f50ee41dda611 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8755> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8734: 7.8.1 rc1 ghci won't load compiled files
by GHC 08 Feb '14

08 Feb '14

#8734: 7.8.1 rc1 ghci won't load compiled files --------------------------+------------------------------------------------ Reporter: George | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: GHCi | Version: 7.8.1-rc1 Keywords: | Operating System: MacOS X Architecture: | Type of failure: Incorrect result at runtime Unknown/Multiple | Test Case: Difficulty: | Blocking: Unknown | Blocked By: | Related Tickets: | --------------------------+------------------------------------------------ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8734> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

Re: [GHC] #2110: Rules to eliminate casted id's
by GHC 08 Feb '14

08 Feb '14

#2110: Rules to eliminate casted id's -------------------------------------+------------------------------------ Reporter: igloo | Owner: Type: feature request | Status: patch Priority: lowest | Milestone: 7.10.1 Component: Compiler | 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: -------------------------------------+------------------------------------ Changes (by monoidal): * milestone: 7.6.2 => 7.10.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2110#comment:44> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3693: Show stack traces
by GHC 07 Feb '14

07 Feb '14

#3693: Show stack traces -------------------------------------+------------------------------------ Reporter: jpet | Owner: Tarrasch Type: feature request | Status: new Priority: normal | Milestone: 7.10.1 Component: Runtime System | Version: 6.10.4 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 scpmw): Good point. I could claim that I was arguing from the point of view just before evaluating the expression, but this needs clarification. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3693#comment:60> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8264: Canonical way to prevent manual instances
by GHC 07 Feb '14

07 Feb '14

#8264: Canonical way to prevent manual instances -------------------------------------------+------------------------------- Reporter: nomeata | Owner: Type: task | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- For some classes (Typeable) the user must not provide hand-written instances, for other no hand-written instances in Safe mode (old Typeable) and for others no instances at all (Coercible). Currently the Typeable checks are in tcInstDecls1 in [source:compiler/typecheck/TcInstDcls.lhs]; but a more proper place would be in checkValidInstHead in [source:compiler/typecheck/TcValidity.lhs]. Why file a ticket and not just do it? The latter source location does not know whether the instance is a (stand-alone) deriving instance or a hand- written one, so this needs a bit of refactoring. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8264> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #3693: Show stack traces
by GHC 07 Feb '14

07 Feb '14

#3693: Show stack traces -------------------------------------+------------------------------------ Reporter: jpet | Owner: Tarrasch Type: feature request | Status: new Priority: normal | Milestone: 7.10.1 Component: Runtime System | Version: 6.10.4 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 simonmar): Thanks, I'll find some time to look through these in detail. One question straight off: in the comment on SourceNote (which is good, BTW), you wrote results of annotated code *must* be invariant against changes to all source code *except* the spans referenced in the source notes. But surely the value of an expression depends on the values of its free variables? The statement only seems to be true for closed expressions. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3693#comment:59> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0