<div dir="ltr">Currently GHCi shows the "real" type of an expression (i.e., the inferred generalized type), when you ask it:<div><br></div><div><div>Prelude> :t 1</div><div>1 :: Num a => a</div></div><div><br></div><div>Note that there is no defaulting happening, at least at the top level---of course if there were local things that needed to be defaulted while the expression was being type-checked then those would be defaulted.</div><div><br></div><div>If you ask GHCi to *evaluate* a polymorphic expression, then it will try to default the type when it is figuring out how to show the result.  The alternative would be to say "sorry, I can't evaluate this, because it is polymorphic, so please tell me what type do you mean".  This is probably a bit too inconvenient for practical use.</div><div><br></div><div>-Iavor</div><div><br></div><div><br></div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Apr 28, 2016 at 5:24 AM, Johannes Waldmann <span dir="ltr"><<a href="mailto:johannes.waldmann@htwk-leipzig.de" target="_blank">johannes.waldmann@htwk-leipzig.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">> .. :type should report the real type<br>
<br>
What about defaulting? Is it real?<br>
<a href="https://ghc.haskell.org/trac/ghc/ticket/11994" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/ghc/ticket/11994</a><br>
<span class="HOEnZb"><font color="#888888"><br>
- J.W.<br>
</font></span><div class="HOEnZb"><div class="h5">_______________________________________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</div></div></blockquote></div><br></div>