Searched refs:RuleSigCtxt (Results 1 – 7 of 7) sorted by relevance
82 | RuleSigCtxt Name -- LHS of a RULE forall constructor129 pprUserTypeCtxt (RuleSigCtxt n) = text "the type signature for" <+> quotes (ppr n)
84 | RuleSigCtxt Name -- LHS of a RULE forall constructor131 pprUserTypeCtxt (RuleSigCtxt n) = text "a RULE for" <+> quotes (ppr n)
85 | RuleSigCtxt Name -- LHS of a RULE forall constructor129 pprUserTypeCtxt (RuleSigCtxt n) = text "the type signature for" <+> quotes (ppr n)
199 = do { let ctxt = RuleSigCtxt name
348 RuleSigCtxt _ -> rank1515 vdqAllowed (RuleSigCtxt {}) = False1341 okIPCtxt (RuleSigCtxt {}) = False
3433 RuleSigCtxt {} -> newSkolemTyVar name kind