Re: [Haskell-cafe] Insert a laziness break into strict ST

2009-12-07 Thread Henning Thielemann


On Sun, 6 Dec 2009, Antoine Latter wrote:


On Sun, Dec 6, 2009 at 5:46 PM, Henning Thielemann


I hoped to get the first answer also for the second command. It seems
that conversion from lazy to strict ST also removes laziness breaks.

It seems that I have to stick to unsafeInterleaveIO, but I like to know,
why the above method does not work.


This isn't the answer you want, but there is an unsafeInterleaveST.


This was a typo, I actually meant unsafeInterleaveST.

So, I'm still uncertain why the conversion to lazy ST and back does not 
work. I feel, that I have still not understood what lazy ST actually 
means.

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re: [Haskell-cafe] Insert a laziness break into strict ST

2009-12-06 Thread Antoine Latter
On Sun, Dec 6, 2009 at 5:46 PM, Henning Thielemann
lemm...@henning-thielemann.de wrote:
 I have lot of ST actions that shall be bound strictly (they write to a
 buffer), but somewhere between these actions I like to have a laziness
 break. I thought I could do this by temporarily switching to Lazy.ST,
 but this does not work. It follows a simplified example


snip


 I hoped to get the first answer also for the second command. It seems
 that conversion from lazy to strict ST also removes laziness breaks.

 It seems that I have to stick to unsafeInterleaveIO, but I like to know,
 why the above method does not work.

This isn't the answer you want, but there is an unsafeInterleaveST.

Antoine
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe