[Haskell-cafe] Incremental array updates

Luke Palmer lrpalmer at gmail.com
Thu Feb 26 09:07:34 EST 2009

On Thu, Feb 26, 2009 at 6:53 AM, Daniel Kraft <d at domob.eu> wrote:

>      procOne (a + 1) (newarr `seq` newarr)

The semantics of seq are:  a `seq` b = _|_ if a = _|_, b otherwise.  This
implies that x `seq` x = x, and this seq is superfluous.

Maybe you meant  newarr `seq` procOne (a+1) newarr ?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090226/7a6e0410/attachment.htm

More information about the Haskell-Cafe mailing list