Hi Don,<br><br>In fact I'm not really looking at performance, I don't expect performance to be a big issue in my application.<br>
<br>
I was just looking at using some simple functions found in the documentation and avoid redefining them.<br>
<br>In fact dropSpace and dropSpaceEnd are doing exactly what I'm looking for. But of course if they're not exported it's not a problem and I'll use their dropWhile equivalent.<br><br>Thanks for your reply,
<br><br>Olivier.<br><br><br><div class="gmail_quote">On Nov 15, 2007 5:24 PM, Don Stewart <<a href="mailto:dons@galois.com">dons@galois.com</a>> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div><div class="Wj3C7c"><br></div></div>The latter:<br><br> "FPS specialise dropWhile isSpace -> dropSpace"<br> dropWhile isSpace = dropSpace<br><br>check that the rule fires with -ddump-simpl-stats
<br><br>There's no rule for dropSpaceEnd, but you can certainly inline the defn<br>in your code, if perf. matters.<br><font color="#888888"><br>-- Don<br></font></blockquote></div><br>