Yes, it expands type synonyms too S
From: [email protected] [mailto:[email protected]] 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
_______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
