Skip to content
  • Simon Peyton Jones's avatar
    Check quantification for partial type signatues · 4efe5fed
    Simon Peyton Jones authored
    Trac #14449 showed that we were failing to check that the
    quantified type variables of a partial type signature remained
    distinct.
    
    See Note [Quantified variables in partial type signatures]
    in TcBinds.
    
    A little refactoring along the way.
    4efe5fed