On Thu, Dec 30, 2021 at 04:46:29PM +0000, Richard Eisenberg wrote:
> I agree that this kind of backward-compatibility pattern synonym is
> good and shouldn't be prefixed with PS_.
>
> But do you have a concrete example of this leakage of an internal GHC
> type via TH? While I can imagine this happening, I don't know of any
> examples in practice. Note that even enumeration types (like Role)
> have separate TH counterparts.
Perhaps my assumption that TH types directly mirror the internal AST is
not correct... A recent user-visible change is in `ConP`
https://github.com/nikita-volkov/contravariant-extras/pull/9
--
Viktor.
_______________________________________________
ghc-devs mailing list
ghc-devs@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
