<p dir="ltr">Those are not demonstrations of the defaulting rules in action though.</p>
<p dir="ltr">As far as I know, :t is agnostic to those and will keep showing the original polymorphic version, since you're not in a context where GHC has to sacrifice the polymorphic type and commit to a monomorphic one using a default, like when expressions are evaluated.</p>
<p dir="ltr">Also I think that's effective just for the REPL (it uses extended defaulting rules that are more lax) and is done for convenience. If it was during a GHC build, you'd get loud warning when something is defaulted.</p>
<p dir="ltr">Try `reverse []` for fun vs. `:t reverse []`.</p>
<div class="gmail_extra"><br><div class="gmail_quote">On Sep 29, 2016 7:48 PM, "Lai Boon Hui" <<a href="mailto:laiboonh@gmail.com">laiboonh@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi,<div>i read that the default type for Num is Integer.</div><div>If we specify a type for one of the arguments:</div><div>:t (1 + 1::Double) is Double</div><div><br></div><div>If we don't, i expect the default type for Num to come into play:</div><div>However :t (1 + 1) is Num a => a</div><div><br clear="all"><div>Why is that so?</div><div><br></div>-- <br><div class="m_7523558593120292159gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Best Regards,<div>Boon Hui</div></div></div>
</div></div>
<br>______________________________<wbr>_________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/beginners</a><br>
<br></blockquote></div></div>