GHC and type-family rewriting?

Richard Eisenberg lists at
Sun Dec 18 03:41:31 UTC 2022

> On Dec 17, 2022, at 10:17 AM, Benjamin Redelings <benjamin.redelings at> wrote:
> But supposing I do get there, I'm curious if there are some papers on term-rewriting that would be helpful to set the context?  The OutsideIn paper mentions Kapur (1997) "Shostak's congruence closure as completion" in support of the flattening idea.

I'm not aware of any, but I think looking for some is a good idea. For better or worse, the current approach was freshly invented; looking for prior art might have yielded something better.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list