Searched refs:ppr_bars (Results 1 – 8 of 8) sorted by relevance
36 parOpen <+> ppr_bars (alt - 1) <+> ppr e <+> ppr_bars (arity - alt)45 ppr_bars n = hsep (replicate n (Outputable.char '|')) function
546 = text "(#" <+> ppr_bars (alt - 1) <+> ppr expr <+> ppr_bars (arity - alt) <+> text "#)"548 ppr_bars n = hsep (replicate n (char '|')) function
1031 = text "(#" <+> ppr_bars (alt - 1) <+> ppr expr <+> ppr_bars (arity - alt) <+> text "#)"1033 ppr_bars n = hsep (replicate n (char '|')) function
1142 = text "(#" <+> ppr_bars (alt - 1) <+> ppr expr <+> ppr_bars (arity - alt) <+> text "#)"1144 ppr_bars n = hsep (replicate n (char '|')) function
3019 parOpen <+> ppr_bars (alt - 1) <+> ppr e <+> ppr_bars (arity - alt)3025 ppr_bars n = hsep (replicate n (Outputable.char '|')) function
3208 parOpen <+> ppr_bars (alt - 1) <+> ppr e <+> ppr_bars (arity - alt)3214 ppr_bars n = hsep (replicate n (Outputable.char '|')) function