• Adam Gundry's avatar
    Permit empty closed type families · 4efa4213
    Adam Gundry authored
    Fixes #9840 and #10306, and includes an alternative resolution to #8028.
    This permits empty closed type families, and documents them in the user
    guide. It updates the Haddock submodule to support the API change.
    
    Test Plan: Added `indexed-types/should_compile/T9840` and updated
    `indexed-types/should_fail/ClosedFam4` and `th/T8028`.
    
    Reviewers: austin, simonpj, goldfire
    
    Reviewed By: goldfire
    
    Subscribers: bgamari, jstolarek, thomie, goldfire
    
    Differential Revision: https://phabricator.haskell.org/D841
    
    GHC Trac Issues: #9840, #10306
    4efa4213
all.T 14 KB