RE: Evaluating type expressions in GHCi

23 Sep 2011

      Yes, it expands type synonyms too

S

From: sean.leather@gmail.com [mailto:sean.leather@gmail.com] On Behalf Of Sean Leather
Sent: 23 September 2011 13:43
To: Simon Peyton-Jones
Cc: GHC Users List
Subject: Re: Evaluating type expressions in GHCi

Hi Simon,

*TF> :kind F Int
F Int :: *
*TF> :kind! F Int
F Int :: *
          = Bool

Does this also work with plain ol' type synonyms? I just noticed that the ":t undefined :: T" trick doesn't seem to work with type synonyms.

Thanks,
Sean