Skip to content
  • Simon Peyton Jones's avatar
    Fix SigTvs at the kind level · 8361b2c5
    Simon Peyton Jones authored
    This patch fixes two bugs in the treatment of SigTvs at the
    kind level:
    
    - We should always generalise them, never default them
      (Trac #14555, #14563)
    
    - We should check if they get unified with each other
      (Trac #11203)
    
    Both are described in TcHsType
       Note [Kind generalisation and SigTvs]
    8361b2c5