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