Re: Reinstallable - base

"Howard B. Golden" writes:

My _very_ naive question is whether Template Haskell should have all the features of the latest language? Perhaps it could instead be limited to a simpler subset so that it could become a bolt-on to the rest of the compiler and it could be compiled and implemented independently using an older compiler and libraries.

While I think users should be able to access all of the features of the language from TemplateHaskell, I agree that most users only need a small subset. We have explored some ideas exploiting this property in #24021. While it's not trivial per se, I think there is a real opportunity here. Cheers, - Ben