-
Simon Peyton Jones authored
I'd missed a call to solveEqualities in the partial-type-sig case of TcBinds.tcUserTypeSig. Also the checkValidType test done there best done after inference, in checkInferredPolyId (and is already done there). Fixes Trac #11976
4c746cb2