Searched refs:rnTyKiContext (Results 1 – 1 of 1) sorted by relevance
468 rnTyKiContext :: RnTyKiEnv -> LHsContext GhcPs470 rnTyKiContext env (dL->L loc cxt) function478 rnContext doc theta = rnTyKiContext (mkTyKiEnv doc TypeLevel RnConstraint) theta501 ; (ctxt', fvs1) <- rnTyKiContext env lctxt