Skip to content
  • Simon Peyton Jones's avatar
    [project @ 2005-01-26 16:10:02 by simonpj] · 8254dcf1
    Simon Peyton Jones authored
    -----------------------
    	Fixup to hoistForAllTys
    	-----------------------
    
    * hoistForAllTys moves from TcHsType to TcType
    
    hoistForAllTys was being too vigorous and breaking up type synonyms,
    even when it was entirely unnecessary to do so.
    
    Not only does this make error messsages less good, but it's actually
    wrong for Haskell 98, because we are meant to report under-applied
    type synonyms, and that check doesn't happen until after hoistForAllTys.
    This led to a very obscure bug, immortalised as tcfail129.
    8254dcf1