On Dec 18, 2015, at 2:03 PM, Ryan Scott <[email protected]> wrote:
> I presumed this was because :kind! didn't do any type family reduction > whenever something was undecidable in general (to ensure :kind! always > terminates, I suppose). No. :kind! isn't that smart. Out of curiosity, what happens if you try again? As in, run :kind! ... twice, exactly the same both times. I seem to recall a ticket saying that worked. Regardless, this is just a plain old bug. Please post a report. Thanks! Richard _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
