January 2013 - ghc-tickets

Re: [GHC] #881: Improve space profiling for references
by GHC 21 Jan '13

21 Jan '13

#881: Improve space profiling for references ---------------------------------+------------------------------------------ Reporter: simonpj | Owner: Type: feature request | Status: new Priority: normal | Milestone: _|_ Component: Profiling | Version: 6.4.2 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Comment(by simonmar): I think this might be fixed, since `MUT_VAR` is considered a retainer, but it needs testing (don't have prof libs installed on my laptop and I'm on slow wifi right now). -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/881#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #835: Expose less type/class info in an interface file, to reduce recompilation
by GHC 21 Jan '13

21 Jan '13

#835: Expose less type/class info in an interface file, to reduce recompilation -------------------------------+-------------------------------------------- Reporter: simonpj | Owner: Type: feature request | Status: closed Priority: normal | Milestone: _|_ Component: Compiler | Version: 6.4.2 Resolution: wontfix | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by simonmar): * status: new => closed * resolution: => wontfix Comment: In fact, we fixed this, and then unfixed it again recently: 9a20e540754fc2af74c2e7392f2786a81d8d5f11 The ticket isn't serving any purpose though, so I agree. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/835#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4144: Exception: ToDo: hGetBuf - when using custom handle infrastructure
by GHC 21 Jan '13

21 Jan '13

#4144: Exception: ToDo: hGetBuf - when using custom handle infrastructure -------------------------------+-------------------------------------------- Reporter: AntoineLatter | Owner: simonmar Type: bug | Status: patch Priority: high | Milestone: 7.8.1 Component: libraries/base | Version: 7.6.1 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Runtime crash | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Comment(by simonmar): see also #806 -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4144#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #806: hGetBufNonBlocking doesn't work on Windows
by GHC 21 Jan '13

21 Jan '13

#806: hGetBufNonBlocking doesn't work on Windows -------------------------------------------+-------------------------------- Reporter: titto@… | Owner: Type: bug | Status: new Priority: normal | Milestone: _|_ Component: libraries/base | Version: 6.4.2 Keywords: | Os: Windows Architecture: x86 | Failure: Runtime crash Difficulty: Moderate (less than a day) | Testcase: hGetBuf001 Blockedby: | Blocking: Related: | -------------------------------------------+-------------------------------- Comment(by simonmar): Replying to [comment:16 morabbin]: > Patch for #3808 accepted; ought this be marked fixed? No, but depending on what happens in #4144 this might get fixed as a result of that. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/806#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #910: --make should have a -j flag for parallel building
by GHC 21 Jan '13

21 Jan '13

#910: --make should have a -j flag for parallel building -------------------------------+-------------------------------------------- Reporter: igloo | Owner: Type: feature request | Status: new Priority: normal | Milestone: _|_ Component: Compiler | Version: 6.4.2 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Unknown Testcase: N/A | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Changes (by orenbenkiki): * status: closed => new * resolution: wontfix => Comment: Cabal install `-j` flag solves a different problem. It builds and installs different packages in parallel. This ticket is about GHC being able to build different modules in parallel in a single package, regardless of installing the results. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/910#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #701: Better CSE optimisation
by GHC 21 Jan '13

21 Jan '13

#701: Better CSE optimisation -------------------------------------+-------------------------------------- Reporter: simonmar | Owner: michalt Type: task | Status: new Priority: normal | Milestone: _|_ Component: Compiler | Version: 6.4.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Difficult (2-5 days) | Testcase: N/A Blockedby: | Blocking: Related: | -------------------------------------+-------------------------------------- Comment(by simonmar): Looking at the tickets, they don't completely overlap. This one is about spotting common subexpressions when they don't occur in the form `let x = e in E[e]`. #2940 would fix some of those cases, but not all. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/701#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1050: Using an inferred type as a type signature fails
by GHC 20 Jan '13

20 Jan '13

#1050: Using an inferred type as a type signature fails ----------------------------------------+----------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: low | Milestone: _|_ Component: Compiler (Type checker) | Version: 6.6 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ----------------------------------------+----------------------------------- Changes (by morabbin): * failure: => None/Unknown Comment: Defect still present in GHC 7.6.1, but I'm seeing some oddness in the number of errors presented with multiples: {{{ {-# LANGUAGE MultiParamTypeClasses #-} class C a b where op :: a -> a f1 :: C a b => a -> a f1 x = op x f2 :: C a b => a -> a f2 x = op x }}} If we give both type signatures, both fail. If we give neither, both fail (albeit with a different error). Leave out only ''one'' type signature, and only that function fails to type. Or, more likely, the other failure is not reported. I have files to attach if deemed worthwhile (no patch, just files that show the four behaviors). -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1050#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1087: bang patterns with infix ops
by GHC 20 Jan '13

20 Jan '13

#1087: bang patterns with infix ops ----------------------------------+----------------------------------------- Reporter: dons | Owner: Type: bug | Status: new Priority: normal | Milestone: _|_ Component: Compiler (Parser) | Version: 6.6 Keywords: bang patterns | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ----------------------------------+----------------------------------------- Changes (by morabbin): * failure: => None/Unknown Comment: Behavior confirmed in GHC 7.6.1. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1087#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #956: improving error messages #1
by GHC 20 Jan '13

20 Jan '13

#956: improving error messages #1 ------------------------------------------------------------+--------------- Reporter: Bulat Ziganshin <Bulat.Ziganshin@…> | Owner: simonpj Type: feature request | Status: new Priority: normal | Milestone: _|_ Component: Compiler | Version: 6.6 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ------------------------------------------------------------+--------------- Comment(by morabbin): Given that GHC 7's error messages are generally more informative, and in these cases produce very friendly messages: {{{ Couldn't match expected type `IO b0' with actual type `Char -> IO ()' In a stmt of a 'do' block: putChar In the expression: do { putChar 'a'; putChar } In an equation for `main': main = do { putChar 'a'; putChar } }}} perhaps this ought to be closed as fixed. The message doesn't suggest a probable cause or fix, but I think that's fine here. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/956#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3693: Show stack traces
by GHC 20 Jan '13

20 Jan '13

#3693: Show stack traces -------------------------------+-------------------------------------------- Reporter: jpet | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.6.2 Component: Runtime System | Version: 6.10.4 Resolution: | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Difficulty: Testcase: | Blockedby: Blocking: | Related: -------------------------------+-------------------------------------------- Comment(by morabbin): See also #960. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3693#comment:43> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0