Skip to content
  • Simon Peyton Jones's avatar
    Check for un-saturated type family applications · ee4501bb
    Simon Peyton Jones authored
    This patch corrects an egregious error introduced by:
    
      commit 022f8750
      Author: Simon Peyton Jones <simonpj@microsoft.com>
      Date:   Thu May 15 16:07:04 2014 +0100
    
        Refactoring around TyCon.isSynTyCon
    
        * Document isSynTyCon better
        * Add isTypeSyonymTyCon for regular H98 type synonyms
        * Use isTypeSynonymTyCon rather than isSynTyCon where
          the former is really intended
    
    At this particular spot in TcValidity we really do mean
    isSynTyCon and not isTypeSynonymTyCon.
    
    Fixes Trac #9433
    ee4501bb