-
Simon Peyton Jones authored
- Remove misleading comments from TyCoRep. - Remove 'check_lifted' calls (which were no-ops) from TcValidity.
7187deda
- Remove misleading comments from TyCoRep. - Remove 'check_lifted' calls (which were no-ops) from TcValidity.