- ghc-tickets - Haskell.org

[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 09 Feb '14

09 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

[GHC] #8747: GHC 7.4.1 ghc: panic! (the 'impossible' happened)
by GHC 07 Feb '14

07 Feb '14

#8747: GHC 7.4.1 ghc: panic! (the 'impossible' happened) ----------------------------------+------------------------------- Reporter: codygman | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.4.1 Keywords: | Operating System: Linux Architecture: x86_64 (amd64) | Type of failure: GHCi crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+------------------------------- I was just trying to create the records in the all about monads tutorial and after changing my code to: {{{ import Data.Maybe (Maybe(Nothing,Just)) data Gender = M | F data Sheep = Sheep (Gender) (Maybe Sheep) (Maybe Sheep) deriving (show) main = undefined }}} I got the following error: {{{ *Main> :r [1 of 1] Compiling Main ( Main.hs, interpreted ) ghc: panic! (the 'impossible' happened) (GHC version 7.4.1 for x86_64-unknown-linux): nameModule show{tv aD4} }}} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug I've attached my entire ghci log for completeness sake. I'm using debian stable and kernel 3.11-0.bpo.2-amd64. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8747> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #7305: T5975a is broken on Windows
by GHC 07 Feb '14

07 Feb '14

#7305: T5975a is broken on Windows -------------------------------------+------------------------------------ Reporter: simonmar | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Test Suite | Version: 7.6.1 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 ezyang): It appears that it is not sufficient to just convert the pre_cmd/post_cmd to accept a Unicode string, as this breaks when using `os.system`, because Python attempts to transcode to ASCII. So we should convert everything to use subprocess/spawnv instead (both of which support Unicode), probably by manually invoking the shell we want. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7305#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0