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 "generi

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 efficien

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 > wrote: >> Hi, >> >> we call from our haskell application the metis prover via >> >> System.Process.readProcessWithExitCode "metis" filena

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 Isabelle/H

Re: Hashcode for reference

2010-09-29 Thread Mathieu Giorgino
Le mercredi 29 septembre 2010 18:00:20, Simon Marlow a écrit : > 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 f

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 are

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 chang

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 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 is > deprecated) y

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, exce

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 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. We'd

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 Sender: glasgow-haskell-users-boun...@haskell.org Date: Wed, 29 Sep 2010 19:25:10 To: Subject: Re: ANNOUNCE: GHC 7.0.1 Rele

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: glasgow-haskell-users-bo

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 functio

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? S

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 Glasgow-ha

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.

Re: ANNOUNCE: GHC 7.0.1 Release Candidate 1

2010-09-29 Thread Antoine Latter
On Wed, Sep 29, 2010 at 9:16 PM, Simon Peyton-Jones wrote: > > |  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