Inconsistency in CoreSubst invariant

Joachim Breitner mail at
Fri May 25 11:36:18 UTC 2018


Am Freitag, den 25.05.2018, 11:33 +0000 schrieb Simon Peyton Jones:
> Ha! That comment is out of date. More up to date is Note [The substitution invariant] in TyCoRep. I've updated it (and will commit in a moment) to say the stuff below.
> Does that answer the question?

indeed it does!

Joachim Breitner
  mail at
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <>

More information about the ghc-devs mailing list