- ghc-tickets - Haskell.org

Re: [GHC] #7814: panic in PPC NCG
by GHC 26 Jul '13

26 Jul '13

#7814: panic in PPC NCG ----------------------------------------+------------------------------ Reporter: heisenbug | Owner: heisenbug Type: bug | Status: infoneeded Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: powerpc Type of failure: Building GHC failed | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------------+------------------------------ Comment (by heisenbug): I have no idea how to place the jump instruction in a way that it can span the maximum jump range. Maybe there is a linker trick to create a ''floating'' island. Anyway the original panic is resolved, and by controlling excessive inlining in certain source files I was able to build the libraries for PPC. I did not run any code but some smaller tests, though. We can close this bug, and possibly open a new (more specific) one? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7814#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8021: Multiple constraint classes - the alternative to superclass
by GHC 26 Jul '13

26 Jul '13

#8021: Multiple constraint classes - the alternative to superclass -------------------------------------+------------------------------------ Reporter: wvv | Owner: Type: feature request | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: invalid | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by carter): * status: new => closed * resolution: => invalid Comment: closing, see http://ghc.haskell.org/trac/ghc/ticket/8090 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8021#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7935: Syntactic sugar for comonads
by GHC 26 Jul '13

26 Jul '13

#7935: Syntactic sugar for comonads -------------------------------------+------------------------------------ Reporter: wvv | Owner: Type: feature request | Status: closed Priority: normal | Milestone: Component: Compiler | Version: Resolution: invalid | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by carter): * status: new => closed * difficulty: => Unknown * resolution: => invalid Comment: closing, see http://ghc.haskell.org/trac/ghc/ticket/8090 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7935#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8090: MetaKinds - PolyKinds generalization
by GHC 26 Jul '13

26 Jul '13

#8090: MetaKinds - PolyKinds generalization ------------------------------------+------------------------------------- Reporter: wvv | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- MetaKinds is more general then PolyKinds. Now we could write with PolyKinds {{{ class Foo (a :: k) where ... }}} It would be nice if we could also write with MetaKinds next: {{{ class Foo (a :: (k :: *)) where ... }}} As we already have Rank2Types and RankNTypes, PolyKinds ~ Rank2Types, MetaKinds ~ RankNTypes This will be valid: {{{ class Foo (a :: (k :: (u :: *))) where ... }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8090> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

Re: [GHC] #7814: panic in PPC NCG
by GHC 25 Jul '13

25 Jul '13

#7814: panic in PPC NCG ----------------------------------------+------------------------------ Reporter: heisenbug | Owner: heisenbug Type: bug | Status: infoneeded Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: powerpc Type of failure: Building GHC failed | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ----------------------------------------+------------------------------ Changes (by igloo): * status: new => infoneeded Comment: heisenbug, what's the status of this? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7814#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7266: Allow fractional-looking integer literals
by GHC 24 Jul '13

24 Jul '13

#7266: Allow fractional-looking integer literals -------------------------------------+------------------------------------ Reporter: shachaf | Owner: Type: feature request | Status: patch Priority: high | 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: 2245 -------------------------------------+------------------------------------ Changes (by igloo): * status: new => patch -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7266#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8083: setNumCapabilities broken in HEAD
by GHC 24 Jul '13

24 Jul '13

#8083: setNumCapabilities broken in HEAD --------------------------+------------------------------------------------ Reporter: parcs | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: | Version: 7.7 Runtime System | Operating System: Unknown/Multiple Keywords: | Type of failure: Incorrect result at runtime Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: | Unknown | Blocked By: | Related Tickets: | --------------------------+------------------------------------------------ {{{ #!haskell import GHC.Conc import Control.Monad main :: IO () main = do n <- getNumCapabilities when (n == 1) $ setNumCapabilities 2 print () }}} One would expect this program to print () just once, but when compiled with -O or -O2 it prints () repeatedly and indefinitely! This doesn't happen on GHC 7.6.2 or 7.4.1, only on HEAD. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8083> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

Re: [GHC] #7970: Thread GC frees roots before thread actually finishes
by GHC 24 Jul '13

24 Jul '13

#7970: Thread GC frees roots before thread actually finishes -------------------------------------+------------------------------------ Reporter: joeyadams | Owner: simonmar Type: bug | Status: closed Priority: high | Milestone: 7.8.1 Component: Runtime System | Version: 7.6.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: 7170 -------------------------------------+------------------------------------ Comment (by simonmar): Fixed this, thanks Edward. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7970#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8088: Disposable types language extension
by GHC 24 Jul '13

24 Jul '13

#8088: Disposable types language extension ----------------------------------------------+---------------------------- Reporter: schyler | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Moderate (less than a day) | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: ----------------------------------------------+---------------------------- The disposable types language extension would serve as a way of allowing the garbage collector to clean up things which require destroying handles, closing resources, etc to prevent resource exhaustion in code (even if exceptions occur) without adding transformer overhead like ResourceT. Consider the following example: {{{ {-# LANGUAGE DisposableTypes #-} class Dispose t where dispose :: t -> IO () instance Dispose SockHandle where dispose = disconnect }}} When the `SockHandle` is collected, the garbage collector runs its `dispose` method (and it's automatically disconnected and cleaned up). Similar principles could be applied to a file handle, shared memory etc. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8088> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8087: Bug in IO manager when increasing the number of capabilities
by GHC 23 Jul '13

23 Jul '13

#8087: Bug in IO manager when increasing the number of capabilities ------------------------------------+------------------------------------- Reporter: parcs | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: libraries/base | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Runtime crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- The new IO manager in HEAD has a logic error in the function responsible for creating more IO manager threads after increasing the number of capabilities with `setNumCapabilities`. This results in an index-out-of- range error later on in the program when one perform blocking IO. Test case: {{{ #!haskell import GHC.Conc main = do setNumCapabilities 2 getLine }}} {{{ $ ghc-stage2 -threaded program.hs $ ./program program: Ix{Int}.index: Index (1) out of range ((0,0)) }}} The fix is simple and will be arriving shortly. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8087> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2