convention around pattern synonyms

[Viktor Dukhovni]

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.