Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-29 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 )

Hashcode for reference

2010-09-29 Thread Mathieu Giorgino
Hi all, I'm wondering if there is a way to get an hashcode from references (IORef or STRef)? I have looked in the library and a little in the sources of GHC but haven't found anything allowing to do this. I'm generating Haskell code from the Isabelle/HOL proof assistant, which generate

DPH, granularity, and GPUs

2010-09-29 Thread Vivian McPhail
Hello, DPH seems to build parallel vectors at the level of scalar elements (doubles, say). Is this a design decision aimed at targettiing GPUs? If I am filtering an hour's worth of multichannel data (an array of (Vector Double)) then off the top of my head I would think that the optimal

Re: how to terminate an external program after timeout?

2010-09-29 Thread Christian Maeder
Hi, thanks for pointing this out. Am 29.09.2010 06:47, schrieb Andrés Sicard-Ramírez: Hi Christian, On Thu, Sep 9, 2010 at 4:35 AM, Christian Maeder christian.mae...@dfki.de wrote: Hi, we call from our haskell application the metis prover via System.Process.readProcessWithExitCode

Re: Hashcode for reference

2010-09-29 Thread Simon Marlow
On 29/09/10 04:54, Mathieu Giorgino wrote: Hi all, I'm wondering if there is a way to get an hashcode from references (IORef or STRef)? I have looked in the library and a little in the sources of GHC but haven't found anything allowing to do this. I'm generating Haskell code from the

RE: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-29 Thread Simon Peyton-Jones
I've been meaning to write a blog post about this, because it's a significant change. I'll do this when I get home after ICFP. Briefly though: * If you use -XGADTs or -XTypeFamilies (or -fglasgow-exts, which is deprecated) you get -XMonoLocalBinds, which says that local let/where bindings

Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-29 Thread Don Stewart
I've created a wiki page to track the common errors when upgrading to GHC 7. http://haskell.org/haskellwiki/Upgrading_packages/Updating_to_GHC_7 Solutions to each problem should be listed here. simonpj: I've been meaning to write a blog post about this, because it's a significant

Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-29 Thread Antoine Latter
On Wed, Sep 29, 2010 at 7:43 AM, Simon Peyton-Jones simo...@microsoft.com wrote: I've  been meaning to write a blog post about this, because it's a significant change.  I'll do this when I get home after ICFP.  Briefly though: * If you use -XGADTs or -XTypeFamilies (or -fglasgow-exts, which

Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-29 Thread Daniel Fischer
On Wednesday 29 September 2010 16:51:35, Antoine Latter wrote: Here's a boiled-down equivalent to what the issue is in uvector: http://hpaste.org/40213/doesnt_work_in_ghc_7 In GHC 6.12, this would have type-checked. In GHC 7, I need to add a type-signature to the 'helper' function, except I

testing 7.01-pre

2010-09-29 Thread Serge D. Mechveliani
Dear GHC developers, I have tested ghc-7.0.0.20100924 on Debian Linux, i386-family on making it by ghc-6.12.3, on the DoCon test, -- with skipping profiling. There are visible the following changes in GHC: (1) Usage of ./Main +RTS .. -RTS needs linking with -rtsopts

GHC 7.0.1 rc1: Could not deduce (Typeable a) from t he context (Typeable a, …)

2010-09-29 Thread Malte Sommerkorn
While compile failures were easy to fix for syb, X11 and xmonad, here's a more mysterious encounter with xmonad-contrib. The module in question is http://code.haskell.org/XMonadContrib/XMonad/Layout/MultiToggle.hs and the rest of this mail is the error: XMonad/Layout/MultiToggle.hs:194:30:

Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-29 Thread Evan Laforge
On Tue, Sep 28, 2010 at 8:18 AM, Ian Lynagh ig...@earth.li wrote: 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.

Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-29 Thread scooter . phd
This is indicative of a 32-bit object being linked into the shared library, FWIW. Sent from my Verizon Wireless BlackBerry -Original Message- From: Vivian McPhail haskell.vivian.mcph...@gmail.com Sender: glasgow-haskell-users-boun...@haskell.org Date: Wed, 29 Sep 2010 19:25:10 To:

RE: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-29 Thread Simon Peyton-Jones
Thanks. I have written a blog post to describe the generalisation question and describe how to adapt your code http://hackage.haskell.org/trac/ghc/blog/LetGeneralisationInGhc7 I've added the link to Don's GHC7 page. Simon | -Original Message- | From:

RE: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-29 Thread Simon Peyton-Jones
| Here's a boiled-down equivalent to what the issue is in uvector: | | http://hpaste.org/40213/doesnt_work_in_ghc_7 | | In GHC 6.12, this would have type-checked. In GHC 7, I need to add a | type-signature to the 'helper' function, except I 'm not sure how to | do it. | | So the

RE: GHC 7.0.1 rc1: Could not deduce ( Typeable a) from the context (Typeable a, …)

2010-09-29 Thread Simon Peyton-Jones
Oh dear, that really is quite a strange error message. Something is definitely wrong. Can you please make a ticket for it, and include instructions on how to reproduce it?I gather that it depends on other packages that themselves needed changes, so reproduction might not be entirely easy?

RE: testing 7.01-pre

2010-09-29 Thread Simon Peyton-Jones
| (2) ghc-6.12.2 compiles docon-2.11 | (download it via http://haskell.org/ghc/docon/ | and follow install.txt | ) I get Not found when following http://haskell.org/ghc/docon Simon ___ Glasgow-haskell-users mailing list

RE: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-29 Thread Simon Peyton-Jones
| Except I don't know how to write a type signature for this. | | The value 's' passed in is bound by pattern matching on this guy's constructor: | | data Stream a = forall s. Stream (s - Step s a) !s Int | | in the top-level function, so I don't even know if it has a type I can name.