On Tue, Sep 20, 2011 at 04:29:21PM -0700, J. Garrett Morris wrote:
> On Tue, Sep 20, 2011 at 3:44 PM, Simon Peyton-Jones
> <[email protected]> wrote:
> > What should the GHCi command be *called*?
> 
> :simplify or :simplifytype.  In GHCi at the moment, you could abbreviate
> that as short as :si.

IMO Simon's suggestion of something like :normalizetype or :normalize
or :normtype would be even better -- you could abbreviate it as just
:n .  It is also more accurate; the correct term for what the command
should do is in fact "normalize", and it may not in fact end up making
the type any simpler.

-Brent

_______________________________________________
Glasgow-haskell-users mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to