I'm inclined to agree with Richard on this.  Flag based behavior pushes more<div>Complexity into the meaning of a command. Zero config is best config, and thusly having easy way to distinguish these (using the power of names!<span></span>) is something I personally agree with </div><div><br></div><div>Perhaps just as importantly: ~/.ghci files are a thing, so it'd be easy for folks to define custom short hands if they like.  And we literally don't know yet how instructional use will help refine what the end state should be :)<br><br>On Monday, May 2, 2016, Richard Eisenberg <<a href="mailto:eir@cis.upenn.edu">eir@cis.upenn.edu</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
On May 2, 2016, at 4:36 PM, Eric Seidel <<a href="javascript:;" onclick="_e(event, 'cvml', 'eric@seidel.io')">eric@seidel.io</a>> wrote:<br>
<br>
> Also, I'd suggest making (1) and (2) optional flags for :type rather<br>
> than new top-level commands. The shared prefix already suggests a common<br>
> purpose, printing out the type of something, so why not make it even<br>
> clearer that (1) and (2) are just specializations (heh) of :type?<br>
<br>
Others have echoed this and I'm open to the idea. But I, personally, dislike this. All three commands are useful, and I expect I'll want to frequently interleave which one I want during a GHCi session. Controlling via a flag makes this awkward.<br>
<br>
But that's just my 2¢.<br>
<br>
><br>
> Eric<br>
> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> <a href="javascript:;" onclick="_e(event, 'cvml', 'Haskell-Cafe@haskell.org')">Haskell-Cafe@haskell.org</a><br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="javascript:;" onclick="_e(event, 'cvml', 'Haskell-Cafe@haskell.org')">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
</blockquote></div>