Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-28 Thread Vivian McPhail
Trying to build rc1 from source linux x86_64 BuildFlavour = perf It seems that the -fPIC flag is set, but an error still occurs ( /usr/bin/ld: libraries/integer-gmp/gmp/objs/abs.o: relocation R_X86_64_32 against `.text' can not be used when making a shared object; recompile with -fPIC ) "inplace

Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-28 Thread Isaac Dupree
Data/Array/Vector/Prim/BUArr.hs:663:3: Couldn't match type `s' with `s3' because this skolem type variable would escape: `s3' I have to say, as an everyday joe programmer, that the obscurity of this message disturbs me. I hope I don't see it very often. "Rigid" type varia

Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-28 Thread David Fox
On Tue, Sep 28, 2010 at 8:36 PM, Antoine Latter wrote: > On Tue, Sep 28, 2010 at 10:10 PM, David Fox wrote: >> I'm seeing errors like this in various places, which I guess are >> coming from the new type checker: >> >> Data/Array/Vector/Prim/BUArr.hs:663:3: >>     Couldn't match type `s' with `s3

Re: how to terminate an external program after timeout?

2010-09-28 Thread Andrés Sicard-Ramírez
Hi Christian, On Thu, Sep 9, 2010 at 4:35 AM, Christian Maeder wrote: > Hi, > > we call from our haskell application the metis prover via > >  System.Process.readProcessWithExitCode "metis" filename "" > > However, we are not able to get rid of this process if metis does not > terminate by itself

Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-28 Thread Antoine Latter
On Tue, Sep 28, 2010 at 10:10 PM, David Fox wrote: > I'm seeing errors like this in various places, which I guess are > coming from the new type checker: > > Data/Array/Vector/Prim/BUArr.hs:663:3: >     Couldn't match type `s' with `s3' >   because this skolem type variable would escape: `s3'

Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-28 Thread Dan Doel
On Tuesday 28 September 2010 11:10:58 pm David Fox wrote: > I'm seeing errors like this in various places, which I guess are > coming from the new type checker: > > Data/Array/Vector/Prim/BUArr.hs:663:3: > Couldn't match type `s' with `s3' > because this skolem type variable would escape

Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-28 Thread David Fox
I'm seeing errors like this in various places, which I guess are coming from the new type checker: Data/Array/Vector/Prim/BUArr.hs:663:3:     Couldn't match type `s' with `s3'   because this skolem type variable would escape: `s3'     This skolem is bound by the polymorphic type `forall s. ST

Re: Version 7.0.1-rc1 bootstrapping

2010-09-28 Thread Simon Marlow
On 28/09/10 11:08, Ian Lynagh wrote: On Sun, Sep 26, 2010 at 02:52:30PM -0700, David Fox wrote: In order to bootstrap with the compiler we are using, I had to rename the function at line 13 of compiler/utils/Exception.hs from mask_ to mask. Hmm, curious. mask_ has mask's type, which seems wron

Re: Does GhcDebugged work?

2010-09-28 Thread Edward Z. Yang
Excerpts from Ian Lynagh's message of Tue Sep 28 13:18:17 -0400 2010: > Yes, unless you make clean. > > (it works by putting Validating=YES in mk/are-validating.mk) Oof, ok, I bet that was what I was seeing. Thanks, Edward ___ Glasgow-haskell-users mai

Re: Does GhcDebugged work?

2010-09-28 Thread Ian Lynagh
On Tue, Sep 28, 2010 at 12:22:52PM -0400, Edward Z. Yang wrote: > Excerpts from Ian Lynagh's message of Fri Sep 24 17:23:16 -0400 2010: > > Note that if you're running validate you need to set settings in > > mk/validate.mk instead. > > Ah, that's good to know. If you've run a validate on the che

Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-28 Thread Claus Reinke
Please test as much as possible; bugs are much cheaper if we find them before the release! Could you please have a look at the documentation issues in the Windows installer before release? Points 4-6 in: http://hackage.haskell.org/trac/ghc/ticket/4292 (documentation links in haddock and

Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-28 Thread Ian Lynagh
On Mon, Sep 27, 2010 at 11:55:51AM -0700, Evan Laforge wrote: > There are some issues with the .pkg installer under OS X: > > Installers shouldn't be deleting the old version! This has been a long-standing bug of the OS X installer. We'd love a fix from an OS X installer expert! The framework-pkg

Re: Version 7.0.1-rc1 bootstrapping

2010-09-28 Thread Ian Lynagh
On Sun, Sep 26, 2010 at 02:52:30PM -0700, David Fox wrote: > In order to bootstrap with the compiler we are using, I had to rename the > function at line 13 of compiler/utils/Exception.hs from mask_ to mask. Hmm, curious. mask_ has mask's type, which seems wrong, but building the stable branch wit

Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-28 Thread Ian Lynagh
On Tue, Sep 28, 2010 at 11:46:19AM +1000, Jens Petersen wrote: > > We are pleased to announce the first release candidate for GHC 7.0.1 > > Thank you! :) > > Are you going to bootstrap the testsuite? > I would like to run it but having trouble working out how to do that. Ah, sorry, I tarred up t