Skip to content
  • Simon Peyton Jones's avatar
    Build only well-kinded types in type checker · 8b36ed12
    Simon Peyton Jones authored
    During type inference, we maintain the invariant that every type is
    well-kinded /without/ zonking; and in particular that typeKind does
    not fail (as it can for ill-kinded types).
    
    But TcHsType.tcInferApps was not guaranteeing this invariant,
    resulting in Trac #14174 and #14520.
    
    This patch fixes it, making things better -- but it does /not/
    fix the program in Trac #14174 comment:5, which still crashes.
    So more work to be done.
    
    See Note [Ensure well-kinded types] in TcHsType
    8b36ed12