[pure-lang-svn] SF.net SVN: pure-lang:[713] pure/trunk/lib/prelude.pure
Status: Beta
Brought to you by:
agraef
From: <ag...@us...> - 2008-09-05 09:51:23
|
Revision: 713 http://pure-lang.svn.sourceforge.net/pure-lang/?rev=713&view=rev Author: agraef Date: 2008-09-05 09:51:32 +0000 (Fri, 05 Sep 2008) Log Message: ----------- Comment change. Modified Paths: -------------- pure/trunk/lib/prelude.pure Modified: pure/trunk/lib/prelude.pure =================================================================== --- pure/trunk/lib/prelude.pure 2008-09-05 09:38:43 UTC (rev 712) +++ pure/trunk/lib/prelude.pure 2008-09-05 09:51:32 UTC (rev 713) @@ -439,7 +439,8 @@ /* Unfortunately, the global list concatenation operator (+) isn't fully lazy in Pure, because it's also used for arithmetic operations. Using it here would make foldr (and hence cat) eager. Therefore we use our own - lazy concatenation operation here. */ + concatenation operation here, which properly deals with the case that ys + is an infinite stream. */ []+ys = ys; xs@(_:_)+ys = tick [] xs ys; tick zs (x:xs) ys = tack (x:zs) ((xs+ys)&) if thunkp xs; This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |