@@ -1225,7 +1225,7 @@ pprintPTerm ppo bnd docArgs infixes = prettySe 10 bnd
12251225 else enclose lparen rparen $ prettyName (ppopt_impl ppo) bnd f
12261226 prettySe p bnd (PAppBind _ (PRef _ f) [])
12271227 | not (ppopt_impl ppo) = text "!" <> prettyName (ppopt_impl ppo) bnd f
1228− prettySe p bnd (PApp _ (PRef _ op) args)
1228+ prettySe p bnd (PApp _ (PRef _ op) args) -- infix operators
12291229 | UN nm <- basename op
12301230 , not (tnull nm) &&
12311231 (not (ppopt_impl ppo)) && (not $ isAlpha (thead nm)) =
@@ -1249,7 +1249,7 @@ pprintPTerm ppo bnd docArgs infixes = prettySe 10 bnd
12491249 Just f' -> prettySe (prec f'-1) bnd r
12501250 inFix l r = align . group $
12511251 (left l <+> opName) <$> group (right r)
1252− prettySe p bnd (PApp _ hd@(PRef fc f) [tm])
1252+ prettySe p bnd (PApp _ hd@(PRef fc f) [tm]) -- symbols, like 'foo
12531253 | PConstant (Idris.Core.TT.Str str) <- getTm tm,
12541254 f == sUN "Symbol_" = char '\'' <> prettySe 10 bnd (PRef fc (sUN str))
12551255 prettySe p bnd (PApp _ f as) =