On Thu, Feb 14, 2013 at 7:58 AM, Stephen Paul Weber <span dir="ltr"><<a href="mailto:singpolyma@singpolyma.net" target="_blank">singpolyma@singpolyma.net</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">So, this has probably been asked before, but out of curiosity, given:</div>
<br>
instance IsList Text where<br>
type Item Text = Char<br>
fromList = Text.pack<br>
toList = Text.unpack<br>
<br>
What is the relationship to OverloadedStrings? Since "blah" is sugar for ['b','l','a','h'], could OverloadedLists also work for string literals / string patterns?</blockquote><div>
<br></div><div>It's described in the wiki. OverloadedLists could subsume OverloadedStrings if the former had an statically allocated compact representation for certain lists, which we have for Strings today (see unpackCString#).</div>
<div> </div></div>