:kind broken in HEAD

2011-10-22 Thread Sean Leather
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

Re: Discussion about the ConstraintKinds extension

2011-10-22 Thread Max Bolingbroke
On 20 October 2011 19:51, bob zhang bobzhang1...@gmail.com wrote: That would be great. Would you mind send me a patch, or commit it to the source tree. I've made this change in commit 5ff06e90f56b7da00f4fec74358b2e736133c263. Hope that helps. Max