Inconsistency in CoreSubst invariant

[Joachim Breitner]

Hi,

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!

Thanks,
Joachim
-- 
Joachim Breitner
  mail at joachim-breitner.de
  http://www.joachim-breitner.de/
-------------- 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: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20180525/0a0b18bf/attachment.sig>