Skip to content

Remove prefix arrow support for GADTs (#17211)

Krzysztof Gogolewski requested to merge tweag/ghc:wip/no-prefix-arrow-in-gadt into master

This implements #17211 (closed) by removing support for prefix (->) in GADT definitions.

Merge request reports