Yes, it expands type synonyms too
S
From: sean.leat...@gmail.com [mailto:sean.leat...@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!
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
___
Hi Simon,
On Fri, Sep 23, 2011 at 10:04, Simon Peyton-Jones wrote:
> I did this.
>
> ** **
>
> *TF> :kind F Int
>
> F Int :: *
>
> *TF> :kind! F Int
>
> F Int :: *
>
> = Bool
>
> ** **
>
> In the end I just made an eager version of :kind as the command: in
> ad
I did this.
*TF> :kind F Int
F Int :: *
*TF> :kind! F Int
F Int :: *
= Bool
In the end I just made an eager version of :kind as the command: in addition to
displaying the kind of the type, it normalises it and shows the result.
It's in HEAD. Documentation to come when I get home.
I'