@@ -1251,7 +1251,8 @@ pprintPTerm ppo bnd docArgs infixes = prettySe 10 bnd
1251 (left l <+> opName) <$> group (right r)
1251 (left l <+> opName) <$> group (right r)
1252 prettySe p bnd (PApp _ hd@(PRef fc f) [tm]) -- symbols, like 'foo
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_" = annotate AnnConstType $
1254− f == sUN "Symbol_" = char '\'' <> prettySe 10 bnd (PRef fc (sUN str))
1255+ char '\'' <> prettySe 10 bnd (PRef fc (sUN str))
1255 prettySe p bnd (PApp _ f as) =
1256 prettySe p bnd (PApp _ f as) =
1256 let args = getExps as
1257 let args = getExps as
1257 fp = prettySe 1 bnd f
1258 fp = prettySe 1 bnd f