Hi Don,

In fact I'm not really looking at performance, I don't expect performance to be a big issue in my application.

I was just looking at using some simple functions found in the documentation and avoid redefining them.

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.

Thanks for your reply,

Olivier.

On Nov 15, 2007 5:24 PM, Don Stewart <dons@galois.com> wrote:

The latter:

"FPS specialise dropWhile isSpace -> dropSpace"
dropWhile isSpace = dropSpace

check that the rule fires with -ddump-simpl-stats

There's no rule for dropSpaceEnd, but you can certainly inline the defn
in your code, if perf. matters.

-- Don