Skip to content

DRAFT: Partial type synonyms

Gergő Érdi requested to merge cactus/ghc:cactus/mr/partial-tysyns into master

This MR is to make it easier to iron out any remaining implementation problems before making an actual GHC proposal. Also, I have isolated the first three commits (see also !8819) as code that does not change GHC's behaviour in any way (they don't actually add partial type synonyms), and are meant to reduce master-chasing churn both while the feature gets hammered out and also in case it isn't accepted.

Edited by Gergő Érdi

Merge request reports