[reactive] snapshot_ vs. withTimeE_

[Conal Elliott]

Hi Achim,

Yes, I'd expect these two defs to be equivalent.  Considering the
combination of snapshot and external input, the problem might well be due to
the ghc RTS bug (http://hackage.haskell.org/trac/ghc/ticket/2558) that has
been plaguing unamb.  Simon Marlow says they have an RTS fix that fixes the
test cases we'd sent, so I expect to be able to try it out soon.

Meanwhile, I'd like to make sure your symptom below gets captured, so we can
confirm that the RTS fix takes care of it or otherwise dig further.  Would
you please make a ticket on http://trac.haskell.org/reactive ?

Thanks!  - Conal

On Wed, Jan 7, 2009 at 7:25 PM, Achim Schneider <barsoap at web.de> wrote:

> Shouldn't
>
> timeAtFramePass :: UI -> Event TimeT
> timeAtFramePass i = snapshot_ time (framePass i)
>
> and
>
> timeAtFramePass = withTimeE_ . framePass
>
>
> be equivalent? The final output of the first one seems to skip
> occurrences (I don't think frames are truly skipped).
>
> See http://hpaste.org/13746
>
>
> --
> (c) this sig last receiving data processing entity. Inspect headers
> for copyright history. All rights reserved. Copying, hiring, renting,
> performance and/or quoting of this signature prohibited.
>
>
> _______________________________________________
> Reactive mailing list
> Reactive at haskell.org
> http://www.haskell.org/mailman/listinfo/reactive
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/reactive/attachments/20090108/d25fc916/attachment.htm