Re: [Haskell-cafe] Bikeshedding request for GHCi's :type

What about :type for the normal behavior and :type! for specializations? With the notion that it could be extended to provide multiple specializations, I could also see :types (both meaning "display multiple example types" and serving as a mnemonic for :types[pecialization]) being viable.

On May 2, 2016, at 4:39 PM, Richard Eisenberg wrote:

On May 2, 2016, at 4:36 PM, Eric Seidel wrote:

...

Also, I'd suggest making (1) and (2) optional flags for :type rather than new top-level commands. The shared prefix already suggests a common purpose, printing out the type of something, so why not make it even clearer that (1) and (2) are just specializations (heh) of :type?

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.

But that's just my 2¢.

...

Eric _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe