22 Oct
2011
22 Oct
'11
11:23 a.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
1: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
4956
Age (days ago)
4959
Last active (days ago)
1 comments
2 participants
participants (2)
-
Sean Leather -
Simon Peyton-Jones