Perhaps there may be useful ideas in https://draugus.github.io/pdf/Software%20Design%20for%20Flexibility%20-%20Chris%20Hanson.pdf .

Howard

On Oct 20, 2023, at 1:23 PM, Ben Gamari <ben@well-typed.com> wrote:

Ben Gamari <ben@well-typed.com> writes:

...

# Phase 2: Template Haskell

The above story is made considerably messier by `template-haskell`.
...

One further clarification as I fear this may be unclear:

Phase 2 does *not* allow multiple versions of `template-haskell` to
be used with a single GHC. That is, each GHC version will have precisely
one corresponding `template-haskell` version; consequently, programs
using TemplateHaskell's combinator's will still need to adapt to new
`template-haskell` releases when moving to a new GHC.

Phase 3 describes how we could eliminate this need by allowing multiple
`template-haskell` versions to be used with a single GHC release.
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs