Re: Thread behavior in 7.8.3

2015-01-19 Thread Simon Marlow
Hi Michael, Previously in this thread it was pointed out that your code was doing busy waiting, and so the problem can be fixed by modifying your code to not do busy waiting. Did you do this? The -C flag is just a workaround which will make the RTS reschedule more often, it won't fix the un

Re: ANNOUNCE: GHC 7.10.1 Release Candidate 1 - questions on Mac OS platform

2015-01-19 Thread Peter Trommler
George Colpitts wrote: [...] >- When using ghci with 7.10.1 RC1 I get the following errors >intermittently. Is anybody else seeing these? [...] > - ld: library not found for -l:ghc31505_10.dylib > collect2: error: ld returned 1 exit status > phase `Linker' failed (exitcod

Package version question with Cabal

2015-01-19 Thread Volker Wysk
Hi! I've uploaded my library to Hackage, and now I'm trying to install it via cabal: ~/src/hsshellscript $ cabal install Resolving dependencies... In order, the following will be installed: hsshellscript-3.3.3 (reinstall) Warning: Note that reinstalls are always dangerous. Continuing anyway...

Re: Package version question with Cabal

2015-01-19 Thread Volker Wysk
Am Dienstag, 20. Januar 2015, 05:14:15 schrieb Volker Wysk: > ~/src/hsshellscript $ cabal install Oops, this should be "cabal install hsshellscript-3.3.3", not just "cabal install": ~/src/hsshellscript $ cabal install hsshellscript-3.3.3 Resolving dependencies... All the requested packages are a

Re: Package version question with Cabal

2015-01-19 Thread Brandon Allbery
On Mon, Jan 19, 2015 at 11:14 PM, Volker Wysk wrote: > I've uploaded my library to Hackage, and now I'm trying to install it via > cabal: > At a guess, the index has not yet been updated --- you may need to wait some time (might be as short as an hour) before trying to install it from Hackage.

ghc-7.10.0 type inference regression when faking injective type families

2015-01-19 Thread adam vogt
Hello List, With ghc - 7.8 and 7.6 the following program is accepted: {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeFamilies #-} class (UnF (F a) ~ a, Show a) => C a where type F a f :: F a -> a type family UnF a g :: forall a. C a => a -> String g _ = show a where a = f (und