- ghc-tickets - Haskell.org

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

08 Jul '13

#8021: Multiple constraint classes - the alternative to superclass -------------------------------------+------------------------------------ Reporter: wvv | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 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 wvv): And this is only tip of the iceberg. Now we have discussion about (Monad m) vs. (Functor m => Monad m). With class interfaces it is not an option: we have them both(!!!) {{{ class Monad m where ... class Functor m => Applicative m => Monad m where .. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8021#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

08 Jul '13

#8021: Multiple constraint classes - the alternative to superclass -------------------------------------+------------------------------------ Reporter: wvv | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 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 wvv): * difficulty: => Unknown Comment: It's also useful other cases. We have {{{ class Num a where (+), (*) :: a -> a -> a (-) :: a -> a -> a negate :: a -> a fromInteger :: Integer -> a }}} Let we also have {{{ class Additive a where plus :: a -> a -> a zero :: a class Additive a => AdditiveNegation a where minus :: a -> a -> a negation :: a -> a x `minus` y = x `plus` negation y class Multiplicative a where multiply :: a -> a -> a one :: a class FromInteger a where fromInteger' :: Integer -> a }}} Now we wish to unite both of them For example, we could also define next: {{{ class (Additive a, Additive a => AdditiveNegation a, Multiplicative a, FromInteger a) => Num a where (+) = plus (*) = multiply (-) = minus negate = negation fromInteger = fromInteger' class (Num a) => Additive a where plus = (+) zero :: a default zero :: () => Additive a => a default zero = zero class (Num a) => AdditiveNegation a where minus = (-) negation = negate class (Num a) => Multiplicative a where multiply = (*) one :: a default one :: () => Multiplicative a => a default one = one class (Num a) => FromInteger a where fromInteger' = fromInteger }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8021#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5308: Generalize -msse2 command line flag to -msse<version number>
by GHC 08 Jul '13

08 Jul '13

#5308: Generalize -msse2 command line flag to -msse<version number> -------------------------------------+------------------------------------ Reporter: tibbe | Owner: Type: feature request | Status: closed Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 7.0.4 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by gmainland): I added support for -mavx* on the simd branch. Could be cherry-picked after review. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5308#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5308: Generalize -msse2 command line flag to -msse<version number>
by GHC 08 Jul '13

08 Jul '13

#5308: Generalize -msse2 command line flag to -msse<version number> -------------------------------------+------------------------------------ Reporter: tibbe | Owner: Type: feature request | Status: closed Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 7.0.4 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by carter): ok, once i've gotten the augmented calling convention stuff ok'd for llvm, i'll look into that -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5308#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5308: Generalize -msse2 command line flag to -msse<version number>
by GHC 08 Jul '13

08 Jul '13

#5308: Generalize -msse2 command line flag to -msse<version number> -------------------------------------+------------------------------------ Reporter: tibbe | Owner: Type: feature request | Status: closed Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 7.0.4 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by tibbe): We don't have -mavx/-mavx2. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5308#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5308: Generalize -msse2 command line flag to -msse<version number>
by GHC 08 Jul '13

08 Jul '13

#5308: Generalize -msse2 command line flag to -msse<version number> -------------------------------------+------------------------------------ Reporter: tibbe | Owner: Type: feature request | Status: closed Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 7.0.4 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by carter): do we also have -mavx /-mavx2 prebaked or are we going to need that added later? I'm currently doing the footwork to add support for avx registers to the ghc calling convention -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5308#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5924: Bad Cmm generated for updating one element in Array#
by GHC 08 Jul '13

08 Jul '13

#5924: Bad Cmm generated for updating one element in Array# -------------------------------------+------------------------------------ Reporter: tibbe | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.6.2 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: -------------------------------------+------------------------------------ Changes (by jstolarek): * cc: jan.stolarek@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5924#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5308: Generalize -msse2 command line flag to -msse<version number>
by GHC 08 Jul '13

08 Jul '13

#5308: Generalize -msse2 command line flag to -msse<version number> -------------------------------------+------------------------------------ Reporter: tibbe | Owner: Type: feature request | Status: closed Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 7.0.4 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by tibbe): * status: new => closed * difficulty: => Unknown * resolution: => fixed Comment: I fixed this at some point. I don't have the commit handy. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5308#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8029: batch-mode recompilation checking sometimes fails
by GHC 08 Jul '13

08 Jul '13

#8029: batch-mode recompilation checking sometimes fails -----------------------------+--------------------------------------------- Reporter: jwlato | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: | Keywords: recompilation, batch-mode Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | -----------------------------+--------------------------------------------- Comment (by jwlato): I think adding the package information to the error message is probably a good idea in general, although it won't help in this case, because ```Data.List.foo``` is from the home package although the user is expecting Data.List to be imported from base. But I still think it would be useful and should happen anyway. The use case I have is with ghc-parmake, which calls ```ghc -M```, and then issues appropriate calls to ```ghc -c```. We don't want to clean all the intermediate .hi/.o files, because that obviates the usage of make dependencies. ghc-parmake could probably call ```ghc -c --make```, which would do the right thing at the cost of making each call to ghc take marginally longer. Or ghc-parmake could clean intermediate files that aren't mentioned in the makefile itself. As for ghc, it's a bit of a slippery slope argument but I don't know that it's worth complicating batch-mode compilation for this. Especially if even checking that the source file exists is non-trivial. As SPJ suggests, with each step it gets closer to the functionality already present in ```--make```. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8029#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8039: RTS linker: unloadObj() does not actually unload the code
by GHC 07 Jul '13

07 Jul '13

#8039: RTS linker: unloadObj() does not actually unload the code -------------------------------------+------------------------------------ Reporter: simonmar | Owner: simonmar Type: task | Status: new Priority: high | Milestone: 7.8.1 Component: Runtime System | Version: 7.6.3 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): Replying to [comment:8 igloo]: > My plan was to leave it in 7.8, but not used by default, and then to remove it from HEAD shortly after 7.8.1 is released. The goal is to stop maintaining the ghci linker, after all! I thought we had some platforms that didn't have dynamic linking support, e.g. ARM/Linux? I personally don't care if we get rid of the MACH-O support, and maybe even the COFF support from the linker. The ELF support is fairly solid though, and for the use case I'm interested in we don't run into any of the known limitations. Maybe I could use shared libraries. But (a) this is a scenario where dynamic linking is generally shunned because it creates more problems than it solves (deploying to large numbers of machines), (b) we really care about performance, and dynamic linking adds unnecessary overhead, and (c) we need to unload objects, and I don't know how to do that with shared libraries yet. I still buy the arguments for moving to dynamic linking for GHCi. But applications with plugin support is a use case we weren't really thinking about during that discussion, and I think the tradeoffs are different. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8039#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0