| > For example:
| >
| > f =
| > let g = (THUNK h x)
| > in (CONS g y)
| >
| > Is this exactly the same as (right variant following the paper)
| >
| > f =
| > let g = (THUNK h x)
| > in let freshvar = (CONS g y)
| > in freshvar
Yes that's right. The only problem with the latter is t
thanks for reporting this -- it's fixed now.
Simon
| -Original Message-
| From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On
| Behalf Of [EMAIL PROTECTED]
| Sent: 14 September 2007 21:46
| To: [EMAIL PROTECTED]
| Cc: glasgow-haskell-users@haskell.org
| Subject: Re: ANNOUNCE: GHC 6.8.1 R
Hello Ben,
On Tue, 18 Sep 2007 18:21:35 +0900, Ben Gaster <[EMAIL PROTECTED]> wrote:
> Having read the papers on Nested Data Parallelism in the Haskell I
> wanted to play around with the de-sugared implementation in the GHC
> library NDP. I have built GHC from source, on RHE5, and then installed
>
> Read our paper "Faster laziness using dynamic pointer tagging"! It's new
> (ICFP'07)
> http://research.microsoft.com/~simonpj/papers/ptr-tag/index.htm
>
> simon
>
Cool, is it implemented in 2.8? Function tagging seems promising for
performance. But it isn't implementable in JavaScript :)
I ha
H Shelarcy,
Thanks for your reply.
I have removed the -threaded when building the library and now
everything builds correctly and the examples are all working. However, I
would like to explore porting the library to use a small FFI library
which will allow exporting flattened data parallel operat
| Cool, is it implemented in 2.8? Function tagging seems promising for
| performance. But it isn't implementable in JavaScript :)
I think it'll be in GHC 6.8.
| I have one more question. There are know calls (saturated
| applications) and unknown calls in STG. Is this information is encoded
| in
(Trac reports "database locked", posting here...)
Here's unsafeCoerce:
> type family Const a
> type instance Const a = ()
>
> data T a where T :: a -> T (Const a)
>
> coerce :: forall a b . a -> b
> coerce x = case T x :: T (Const b) of
>T y -> y
And this indeed "works"... Here's t
The touch and reload option works but breakpoints are lost in the reload.
For the moment putting the instructions in a script seems to be the simplest
solution.
Thanks for all inputs,
Olivier.
___
Glasgow-haskell-users mailing list
Glasgow-haskell-user
