Evaluating type expressions in GHCi

Brent Yorgey byorgey at seas.upenn.edu
Wed Sep 21 04:00:29 CEST 2011

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
> <simonpj at microsoft.com> 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.


More information about the Glasgow-haskell-users mailing list