convention around pattern synonyms
Viktor Dukhovni
ietf-dane at dukhovni.org
Thu Dec 30 20:25:26 UTC 2021
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.
More information about the ghc-devs
mailing list