Skip to content

Remove ConDeclGADTPrefixPs

Ryan Scott requested to merge RyanGlScott/ghc:wip/T18517 into master

This removes the ConDeclGADTPrefixPs per the discussion in #18517 (closed). Most of this patch simply removes code, although the code in the rnConDecl case for ConDeclGADTPrefixPs had to be moved around a bit:

  • The nested foralls check now lives in the rnConDecl case for ConDeclGADT.
  • The LinearTypes-specific code that used to live in the rnConDecl case for ConDeclGADTPrefixPs now lives in GHC.Parser.PostProcess.mkGadtDecl, which is now monadic so that it can check if -XLinearTypes is enabled.

Fixes #18517 (closed) .

Edited by Ben Gamari

Merge request reports