Skip to content
  • Jade's avatar
    Improve suggestions for language extensions · c561de8f
    Jade authored and Marge Bot's avatar Marge Bot committed
    - When suggesting Language extensions, also suggest Extensions which imply them
    - Suggest ExplicitForAll and GADTSyntax instead of more specific
    - Rephrase suggestion to include the term 'Extension'
    - Also moves some flag specific definitions out of Session.hs into
    Flags.hs (#24478)
    Fixes: #24477
    Fixes: #24448
    Fixes: #10893