• mayac's avatar
    More explicit foralls (GHC Proposal 0007) · 512eeb9b
    mayac authored
    Allow the user to explicitly bind type/kind variables in type and data
    family instances (including associated instances), closed type family
    equations, and RULES pragmas. Follows the specification of GHC
    Proposal 0007, also fixes #2600. Advised by Richard Eisenberg.
    
    This modifies the Template Haskell AST -- old code may break!
    
    Other Changes:
    - convert HsRule to a record
    - make rnHsSigWcType more general
    - add repMaybe to DsMeta
    
    Includes submodule update for Haddock.
    
    Test Plan: validate
    
    Reviewers: goldfire, bgamari, alanz
    
    Subscribers: simonpj, RyanGlScott, goldfire, rwbarton,
                 thomie, mpickering, carter
    
    GHC Trac Issues: #2600, #14268
    
    Differential Revision: https://phabricator.haskell.org/D4894
    512eeb9b
all.T 20.2 KB