Searched refs:mkHsQualTy (Results 1 – 1 of 1) sorted by relevance
283 ; let inst_ty' = mkHsQualTy ctxt loc ctxt' $ cL loc ty'380 ; let inst_ty' = mkHsQualTy cxt loc cxt' $ cL loc ty'1442 rho_ty = mkHsQualTy cxt loc cxt' ty'1768 mkHsQualTy :: TH.Cxt1779 mkHsQualTy ctxt loc ctxt' ty function