'trim' is used in lots of languages for this, and I think we should stick with that. Sam <div class="gmail_quote">On Apr 18, 2012 3:28 PM, "Eli Barzilay" <<a href="mailto:eli@barzilay.org">eli@barzilay.org</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> Just now, Matthias Felleisen wrote: > > On Apr 18, 2012, at 3:12 PM, Eli Barzilay wrote: > > > `string-normalize-spaces', which takes a string and a regexp for the > > spaces, and turns all spaces into single ones. Same principles as > > above. This one is getting a `#:trim?' keyword that says whether > > spaces at the edges should be dropped (the default) or normalized. > > > > BTW, I hate that name -- it makes the `string-' prefix looks even > > uglier... Any suggestions for a better name? > > > string-reduce > > ? That sounds like a kind of a `fold'... (BTW, some names that I considered are: `normalize-spaces', `compact-spaces', `string-normalize'. They all had problems.) -- ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: <a href="http://barzilay.org/" target="_blank">http://barzilay.org/</a> Maze is Life! </blockquote></div>