Yep, updated, thanks. Edward Excerpts from Ben Gamari's message of 2016-05-17 00:16:55 -0700:

"Edward Z. Yang" writes:

...

Hello all,

I've written a new wiki page about how knot tying works in GHC:

https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/TyingTheKnot

This is quite useful! Thanks for writing it down. A few points:

It might be nice if it defined HPT and EPS a bit more concretely (at least expand the acronyms, ideally including a bit of text defining their roles in the compiler and why there is two of them).

You say "we produce TyCons and another type checking entities for them". Should this read "other type checking entities for them"?

Otherwise it looks good to me.

Cheers,

- Ben