-
Simon Peyton Jones authored
This is a long standing bug actually, exposed by the new invariant checking on Implications. We had too many variables in the skolems of the reportUnsolvedEqualities call in the H98 case of tcConDecl.
dce2054d
This is a long standing bug actually, exposed by the new invariant checking on Implications. We had too many variables in the skolems of the reportUnsolvedEqualities call in the H98 case of tcConDecl.