From 7fa11fdcddceb1c41c9a7e66f190c1e0c3686cf2 Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Sat, 3 Sep 2022 10:39:41 +0300 Subject: [PATCH] FIXED: hide predicates starting with '$' in sweep-find-predicate --- sweep.pl | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/sweep.pl b/sweep.pl index 68343be..d0461cf 100644 --- a/sweep.pl +++ b/sweep.pl @@ -292,10 +292,13 @@ sweep_predicate_matches(Sub, [String|_]) :- sub_string(String, _, _, _, Sub). sweep_predicate_non_hidden([String|_]) :- - \+ sub_string(String, 0, _, _, "$"). + \+ sub_string(String, _, _, _, ":'$"). sweep_predicate_description(M:F/N, [S|T]) :- - sweep_predicate_description_(M, F, N, T), format(string(S), '~w:~w/~w', [M, F, N]). + sweep_predicate_description_(M, F, N, T), + format(string(S), + '~w:~W/~w', + [M, F, [quoted(true), character_escapes(true)], N]). sweep_predicate_description_(M, F, N, [D]) :- doc_comment(M:F/N, _, D0, _), !, atom_string(D0, D). -- 2.39.2