Skip to content
  • Simon Peyton Jones's avatar
    Refactor validity checking for type/data instances · 746764cc
    Simon Peyton Jones authored
    I found that there was some code duplication going on,
    so I've put more into the shared function checkValidFamPats.
    
    I did some refactoring in checkConsistentFamInst too,
    preparatory to #11450; the error messages change a little
    but no change in behaviour.
    746764cc