Kind classes and associated closed type families

Richard Eisenberg eir at cis.upenn.edu
Fri Dec 18 20:57:02 UTC 2015


On Dec 18, 2015, at 2:03 PM, Ryan Scott <ryan.gl.scott at gmail.com> 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


More information about the ghc-devs mailing list