22 Oct
2011
22 Oct
'11
3:23 p.m.
It seems like :kind is broken in the HEAD ghci: *Main> :kind Maybe Top level: Expecting an ordinary type, but found a type of kind * -> * In a type expected by the context: Maybe *Main> Simon, could this be related to your change for :kind! ? Regards, Sean
25 Oct
25 Oct
5:02 p.m.
Thanks; fixed From: sean.leather@gmail.com [mailto:sean.leather@gmail.com] On Behalf Of Sean Leather Sent: 22 October 2011 16:24 To: GHC Users List Cc: Simon Peyton-Jones Subject: :kind broken in HEAD It seems like :kind is broken in the HEAD ghci: *Main> :kind Maybe Top level: Expecting an ordinary type, but found a type of kind * -> * In a type expected by the context: Maybe *Main> Simon, could this be related to your change for :kind! ? Regards, Sean
5006
Age (days ago)
5009
Last active (days ago)
1 comments
2 participants
participants (2)
-
Sean Leather -
Simon Peyton-Jones