Evaluating type expressions in GHCi

Simon Peyton-Jones simonpj at microsoft.com
Fri Sep 23 16:22:39 CEST 2011

Yes, it expands type synonyms too


From: sean.leather at gmail.com [mailto:sean.leather at 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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20110923/fee00bb6/attachment.htm>

More information about the Glasgow-haskell-users mailing list