• Sebastian Graf's avatar
    PmCheck: Use ConLikeSet to model negative info · b03fd3bc
    Sebastian Graf authored
    In #17911, Simon recognised many warnings stemming from over-long list
    unions while coverage checking Cabal's `LicenseId` module.
    
    This patch introduces a new `PmAltConSet` type which uses a `UniqDSet`
    instead of an association list for `ConLike`s. For `PmLit`s, it will
    still use an assocation list, though, because a similar map data
    structure would entail a lot of busy work.
    
    Fixes #17911.
    b03fd3bc
Code owners : Ben Gamari
Types.hs 21.8 KB