Skip to content

Clarify that -XGADTs enables existential quantification

sheaf requested to merge sheaf/ghc:T20865 into master

Even though -XGADTs does not turn on -XExistentialQuantification, it does allow the use of existential quantification syntax, without needing to use GADT-style syntax. This is clarified in the user's guide.

Edited by sheaf

Merge request reports