@@ -1225,7 +1225,7 @@ pprintPTerm ppo bnd docArgs infixes = prettySe 10 bnd
1225 else enclose lparen rparen $ prettyName (ppopt_impl ppo) bnd f
1225 else enclose lparen rparen $ prettyName (ppopt_impl ppo) bnd f
1226 prettySe p bnd (PAppBind _ (PRef _ f) [])
1226 prettySe p bnd (PAppBind _ (PRef _ f) [])
1227 | not (ppopt_impl ppo) = text "!" <> prettyName (ppopt_impl ppo) bnd f
1227 | 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
1229 | UN nm <- basename op
1229 | UN nm <- basename op
1230 , not (tnull nm) &&
1230 , not (tnull nm) &&
1231 (not (ppopt_impl ppo)) && (not $ isAlpha (thead nm)) =
1231 (not (ppopt_impl ppo)) && (not $ isAlpha (thead nm)) =
@@ -1249,7 +1249,7 @@ pprintPTerm ppo bnd docArgs infixes = prettySe 10 bnd
1249 Just f' -> prettySe (prec f'-1) bnd r
1249 Just f' -> prettySe (prec f'-1) bnd r
1250 inFix l r = align . group $
1250 inFix l r = align . group $
1251 (left l <+> opName) <$> group (right r)
1251 (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
1253 | PConstant (Idris.Core.TT.Str str) <- getTm tm,
1253 | PConstant (Idris.Core.TT.Str str) <- getTm tm,
1254 f == sUN "Symbol_" = char '\'' <> prettySe 10 bnd (PRef fc (sUN str))
1254 f == sUN "Symbol_" = char '\'' <> prettySe 10 bnd (PRef fc (sUN str))
1255 prettySe p bnd (PApp _ f as) =
1255 prettySe p bnd (PApp _ f as) =