<br><br><div class="gmail_quote">On Thu, Dec 11, 2008 at 16:16, Neil Mitchell <span dir="ltr"><<a href="mailto:ndmitchell@gmail.com">ndmitchell@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hi,<br>
<br>
I agree with the idea. However, remember that this won't be fully<br>
backwards compatible as anyone who performs a pattern match will now<br>
get a crash. Given that, I think I'd be more in favour of renaming<br>
StringRep to CharRep in one single step, otherwise you are going to<br>
allow the old code to compile fine and crash at runtime. Having<br>
mkStringRep be deprecated is a good idea though.</blockquote><div><br>It would still warn about the use of deprecated StringRep (and also a
non-exaustive pattern match with -Wall). But I won't oppose to changing
it in one go. But then mkStringRep would disappear?<br>
<br>
<br>
Thanks,<br>
Pedro</div></div><br>