<div class="gmail_quote">On Wed, Sep 8, 2010 at 6:55 AM, Duncan Coutts <span dir="ltr"><<a href="mailto:duncan.coutts@googlemail.com">duncan.coutts@googlemail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">> I'd like us to proceed in a way that means we haven't still got<br>
> Data.List.stripPrefix and Data.Text.prefixed in the HP in 3 years time.<br>
<br>
</div>Yes, they should be the same, one way or the other.</blockquote><div><br></div><div>Well since there's an existing precedent, I changed the names in Data.Text to strip{Pre,Suf}fix.</div></div>