Evaluating type expressions in GHCi

[Sean Leather]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20110923/1c2a5cad/attachment.htm>