<div dir="ltr"><div style class="markdown-here-wrapper" id="markdown-here-wrapper-355568"><p style="margin:1.2em 0px!important">Let's also make number literals monomorphic to <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px 3px 3px 3px;display:inline">Integer</code> and provide an <code style="font-size:0.85em;font-family:Consolas,Inconsolata,Courier,monospace;margin:0px 0.15em;padding:0px 0.3em;white-space:pre-wrap;border:1px solid rgb(234,234,234);background-color:rgb(248,248,248);border-radius:3px 3px 3px 3px;display:inline">n :: Num a => Integer -> a</code>!</p>
</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Aug 26, 2013 at 9:16 PM, Herbert Valerio Riedel <span dir="ltr"><<a href="mailto:hvr@gnu.org" target="_blank">hvr@gnu.org</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">On 2013-08-26 at 19:39:40 +0200, Henning Thielemann wrote:<br>
> On Mon, 26 Aug 2013, Henning Thielemann wrote:<br>
><br>
>> This "opting in" already exists: Just put a space between o and the<br>
>> quotation mark and define "o = fromString". It's Haskell 98.<br>
><br>
> I was wrong: You even don't need the space between o and ".<br>
<br>
</div>it's almost perfect imho, except maybe for the minor issue that you will<br>
have to surround string literals with () or use $ sometimes, as in<br>
<br>
length (o"Overloaded String")<br>
<br>
cheers,<br>
hvr<br>
<div class="HOEnZb"><div class="h5"><br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br></div>