Skip to content
  • Simon Peyton Jones's avatar
    Fix Trac #2937: deserialising assoicated type definitions · 48b62514
    Simon Peyton Jones authored
    The deserialiser (TcIface) for associated type definitions wasn't
    taking into account that the class decl brings into scope some 
    type variables that scope over the data/type family declaration.
    
    Easy to fix: the new function is TcIface.bindIfaceTyVars_AT
    48b62514