Re: Evaluating type expressions in GHCi

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 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