Searched refs:instStupidTheta (Results 1 – 3 of 3) sorted by relevance
15 instCall, instDFunType, instStupidTheta, instTyVarsWith,408 instStupidTheta :: CtOrigin -> TcThetaType -> TcM ()411 instStupidTheta orig theta function
600 ; instStupidTheta orig [mkClassPred icls [pat_ty]] }1038 | otherwise = instStupidTheta origin inst_theta
919 ; instStupidTheta RecordUpdOrigin theta'