Why is NoExt inhabited?

Ben Gamari ben at smart-cactus.org
Mon Jun 24 20:57:03 UTC 2019

Hi Shayan,

During code review a contributor asked about a TTG extension point.
While answering his question I realized I didn't have a good explanation
for why NoExt is inhabited; as far as I can tell it should rather be

If there is a reason for this then can you:

 1. describe why this is so in #16863 [1]
 2. open an MR documenting the reason in Note [Trees that Grow].

If not, perhaps we should consider changing it; the current state of
things is a bit awkward.


- Ben

[1] https://gitlab.haskell.org/ghc/ghc/issues/16863
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20190624/40f2ede9/attachment.sig>

More information about the ghc-devs mailing list