- ghc-tickets - Haskell.org

Re: [GHC] #5902: Cannot tell from an exception handler whether the exception was asynchronous
by GHC 23 Jul '13

23 Jul '13

#5902: Cannot tell from an exception handler whether the exception was asynchronous -------------------------------------+------------------------------------ Reporter: simonmar | Owner: simonmar Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | 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: -------------------------------------+------------------------------------ Comment (by igloo): I'm a bit confused now. If we only use `newUnsafePerformIO` (and not plain `unsafePerformIO`), then is it still possible for a `bracket` to be resumed? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5902#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7275: Give more detailed information about PINNED data in a heap profile
by GHC 23 Jul '13

23 Jul '13

#7275: Give more detailed information about PINNED data in a heap profile -------------------------------------+------------------------------------ Reporter: edsko | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | 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: -------------------------------------+------------------------------------ Changes (by igloo): * owner: igloo => Comment: Simon and I discussed this a while ago. Here's his summary of where we ended up: ---- I think what we want to do is basically mark-sweep on the BF_PINNED blocks when profiling (only). The main question is how to represent the mark bit: I think just using the low-order bit of the info pointer should be fine, since that's what we use for ordinary forwarding pointers too. Specifically: - in evacuate_large, if the block is BF_PINNED, mark the object by setting the low-order bit of its info table. (PROFILING only) - after the GC is finished, sweep all the BF_PINNED blocks that we touched, which can be found by traversing the scavenged_large_objects list of each generation. For each BF_PINNED block, walk through the memory zeroing out any unmarked ARR_WORDS objects, and unmarking the marked objects. - in allocatePinned, zero out any slop caused by alignment constraints. Then I believe the pinned memory can be traversed correctly by the heap profiler with no further changes. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7275#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7779: building GHC overwrites the installed package database if GHC_PACKAGE_PATH is set
by GHC 23 Jul '13

23 Jul '13

#7779: building GHC overwrites the installed package database if GHC_PACKAGE_PATH is set -------------------------------------+------------------------------------ Reporter: heatsink | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Build System | Version: 7.4.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 igloo): * owner: igloo => Comment: Ah, I suspect you have an old version of `cabal`; it looks like 1.14 doesn't mind `GHC_PACKAGE_PATH` being set. But in 1.16 it just fails: {{{ $ cabal --version cabal-install version 1.16.0.2 using version 1.16.0 of the Cabal library $ export GHC_PACKAGE_PATH=something $ cabal install text cabal: Use of GHC's environment variable GHC_PACKAGE_PATH is incompatible with Cabal. Use the flag --package-db to specify a package database (it can be used multiple times). $ echo $? 1 }}} You can use flags such as `-package-db` and `-global-package-db` with GHC too. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7779#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7148: generalized newtype and type families is unsound
by GHC 23 Jul '13

23 Jul '13

#7148: generalized newtype and type families is unsound --------------------------------------------+------------------------------ Reporter: carter | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 7.6.1-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by goldfire): See [wiki:Roles] for the concrete approach toward a solution. Expect a working implementation to be available within a week or two. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7148#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5498: Generalized newtype deriving allows creating of instances I can't create by hand
by GHC 23 Jul '13

23 Jul '13

#5498: Generalized newtype deriving allows creating of instances I can't create by hand -------------------------------------+------------------------------------ Reporter: dterei | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 7.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: 1496 Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by goldfire): * difficulty: => Unknown Comment: See [wiki:Roles] for the concrete approach toward a solution to the seg- faulting problem. Roles won't fix the abstraction problem that is the main subject of this ticket, though. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5498#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4846: Newtype derving used wrongly
by GHC 23 Jul '13

23 Jul '13

#4846: Newtype derving used wrongly -------------------------------------+------------------------------------ Reporter: simonpj | Owner: Type: bug | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 7.0.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 goldfire): * difficulty: => Unknown Comment: See [wiki:Roles] for the concrete approach toward a solution. Expect a working implementation to be available within a week or two. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4846#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1496: Newtypes and type families combine to produce inconsistent FC(X) axiom sets
by GHC 23 Jul '13

23 Jul '13

#1496: Newtypes and type families combine to produce inconsistent FC(X) axiom sets --------------------------------------------+------------------------------ Reporter: sorear | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.6.2 Component: Compiler (Type checker) | Version: 6.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: 5498 | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by goldfire): See [wiki:Roles] for the concrete approach toward a solution. Expect a working implementation to be available within a week or two. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1496#comment:42> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8084: Enabling PolyKinds makes some type errors weird
by GHC 23 Jul '13

23 Jul '13

#8084: Enabling PolyKinds makes some type errors weird -------------------------------------------+------------------------------- Reporter: MartijnVanSteenbergen | Owner: Type: bug | 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: -------------------------------------------+------------------------------- Consider this program: {{{ {-# LANGUAGE DataKinds #-} {-# LANGUAGE PolyKinds #-} module Existential where data Any (f :: k -> *) data X a data Y (a :: *) data Z (a :: Bool) x :: Any X -> () x 'c' = () y :: Any Y -> () y 'c' = () z :: Any Z -> () z 'c' = () }}} x, y and z are all ill-typed, but the shapes of the type errors are different in each case. They are respectively: {{{ Couldn't match expected type `Any k (X k)' with actual type `Char' Couldn't match expected type `Any * Y' with actual type `Char' Couldn't match expected type `Any Bool Z' with actual type `Char' }}} Aren't they supposed to say just 'Any X', 'Any Y' and 'Any Z'? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8084> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #703: all binaries built by ghc have executable stacks
by GHC 23 Jul '13

23 Jul '13

#703: all binaries built by ghc have executable stacks ----------------------------+---------------------------------------------- Reporter: duncan | Owner: ezyang Type: merge | Status: merge Priority: normal | Milestone: 6.6.1 Component: | Version: 7.6.3 Compiler (NCG) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: Linux | Difficulty: Moderate (less than a day) Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: N/A | Blocking: | ----------------------------+---------------------------------------------- Changes (by juhpetersen): * cc: juhp@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/703#comment:25> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7978: Profiling broken
by GHC 22 Jul '13

22 Jul '13

#7978: Profiling broken --------------------------------------------+------------------------------ Reporter: gmainland | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC doesn't work at all | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by gmainland): I believe the remaining prof failures existed before the cardinality patch. The fix I just checked in should re-instate cost centres in non- top-level closures with no free variables. If you have a segfaulting test case, please let us know! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7978#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0