Searched refs:ctoHerald (Results 1 – 4 of 4) sorted by relevance
469 ctoHerald :: SDoc470 ctoHerald = text "arising from" function546 pprCtOrigin (GivenOrigin sk) = ctoHerald <+> ppr sk560 = hang (ctoHerald <+> text "a functional dependency between:")567 = hang (ctoHerald <+> text "a kind equality arising from")574 = hang (ctoHerald <+> text "a kind equality when matching")581 = hang (ctoHerald <+> text "the" <+> speakNth n593 = ctoHerald <+> text "a do statement"598 = ctoHerald <+> hsep [ text "the failable pattern"602 = ctoHerald <+> text "the failable pattern" <+> quotes (ppr pat)[all …]
476 ctoHerald :: SDoc477 ctoHerald = text "arising from" function546 pprCtOrigin (GivenOrigin sk) = ctoHerald <+> ppr sk560 = hang (ctoHerald <+> text "a functional dependency between:")567 = hang (ctoHerald <+> text "a kind equality arising from")574 = hang (ctoHerald <+> text "a kind equality when matching")578 = ctoHerald <+> text "an undeclared identifier" <+> quotes (ppr name)581 = hang (ctoHerald <+> text "the" <+> speakNth n593 = ctoHerald <+> text "a do statement"598 = ctoHerald <+> hsep [ text "the failable pattern"[all …]
478 ctoHerald :: SDoc479 ctoHerald = text "arising from" function550 pprCtOrigin (GivenOrigin sk) = ctoHerald <+> ppr sk559 = hang (ctoHerald <+> text "a functional dependency between constraints:")564 = hang (ctoHerald <+> text "a functional dependency between:")577 = hang (ctoHerald <+> text "a kind equality arising from")581 = hang (ctoHerald <+> text "the" <+> speakNth n593 = ctoHerald <+> text "a do statement"598 = ctoHerald <+> hsep [ text "the failable pattern"612 = hang (ctoHerald <+> text "the \"provided\" constraints claimed by")[all …]