New wiki page about tying the knot in GHC

Ben Gamari ben at
Tue May 17 07:16:55 UTC 2016

"Edward Z. Yang" <ezyang at> writes:

> Hello all,
> I've written a new wiki page about how knot tying works in
> GHC:
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.


- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 472 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list