Skip to content
  • Georgios Karachalias's avatar
    (Alternative way to) address #8710 · 67393977
    Georgios Karachalias authored and Ben Gamari's avatar Ben Gamari committed
    Issue a separate warning per redundant (or inaccessible) clause.
    This way each warning can have more precice location information
    (the location of the clause under consideration and not the whole
    match).
    
    I thought that this could be too much but actually the number of
    such warnings is bound by the number of cases matched against (in
    contrast to the non-exhaustive warnings which may be exponentially
    more).
    
    Test Plan: validate
    
    Reviewers: simonpj, austin, bgamari
    
    Reviewed By: bgamari
    
    Subscribers: thomie
    
    Differential Revision: https://phabricator.haskell.org/D1920
    
    GHC Trac Issues: #8710
    67393977