[pure-lang-svn] SF.net SVN: pure-lang:[834] pure/trunk/lib/strings.pure

[<ag...@us...>]

Revision: 834
          http://pure-lang.svn.sourceforge.net/pure-lang/?rev=834&view=rev
Author:   agraef
Date:     2008-09-23 06:32:29 +0000 (Tue, 23 Sep 2008)

Log Message:
-----------
Bugfixes.

Modified Paths:
--------------
    pure/trunk/lib/strings.pure

Modified: pure/trunk/lib/strings.pure
===================================================================
--- pure/trunk/lib/strings.pure	2008-09-23 05:54:38 UTC (rev 833)
+++ pure/trunk/lib/strings.pure	2008-09-23 06:32:29 UTC (rev 834)
@@ -174,7 +174,7 @@
 all p s::string		= all p (chars s);
 any p s::string		= any p (chars s);
 do f s::string		= do f (chars s);
-drop n s::string	= substr s n (#s-n);
+drop n::int s::string	= substr s n (#s-n);
 dropwhile p s::string	= strcat (dropwhile p (chars s));
 filter p s::string	= strcat (filter p (chars s));
 foldl f a s::string	= foldl f a (chars s);
@@ -189,7 +189,7 @@
 scanl1 f s::string	= scanl1 f (chars s);
 scanr f a s::string	= scanr f a (chars s);
 scanr1 f s::string	= scanr1 f (chars s);
-take n s::string	= substr s 0 n;
+take n::int s::string	= substr s 0 n;
 takewhile p s::string	= strcat (takewhile p (chars s));
 tail s::string		= substr s 1 (#s-1) if not null s;
 zip s::string t::string	= zip (chars s) (chars t);


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.