-
Simon Peyton Jones authored
This was being doing independently in two places. Now it's done in one place, TcType.canUnifyWithPolyType
073119e8
This was being doing independently in two places. Now it's done in one place, TcType.canUnifyWithPolyType