26 Feb
2009
26 Feb
'09
9:07 a.m.
On Thu, Feb 26, 2009 at 6:53 AM, Daniel Kraft
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 ? Luke