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