Skip to content
  • Sebastian Graf's avatar
    PmCheck: Use ConLikeSet to model negative info · b03fd3bc
    Sebastian Graf authored and Marge Bot's avatar Marge Bot committed
    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