From: Nicolas C. <war...@fr...> - 2004-04-26 19:46:15
|
> > I added the following to ExtString : > > > > val strip : ?chars:string -> string -> string > > val nsplit : string -> string -> string list > > val join : string -> string list -> string ( = concat ) > > > > I'm not sure about lstrip, rstrip and rchop_if > > lstrip and rstrip are useful in some cases. For instance, if you wish > to remove trailing whitespace such as \n but preserve leading whitespace > (perhaps it's indentation that you wish to keep), rstrip is useful. what about : strip ~chars:"\n" then ? Regards, NC |