New wiki page about tying the knot in GHC
ben at smart-cactus.org
Tue May 17 07:16:55 UTC 2016
"Edward Z. Yang" <ezyang at mit.edu> writes:
> Hello all,
> I've written a new wiki page about how knot tying works in
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 472 bytes
Desc: not available
More information about the ghc-devs