From f5edd3a3505db9fbb8276700fc0008a29a7bb673 Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Sun, 12 Nov 2023 19:30:52 +0100 Subject: [PATCH] ; Inhibit ElDoc messages for common Prolog control constructs --- sweep.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sweep.pl b/sweep.pl index 574da33..ae8487e 100644 --- a/sweep.pl +++ b/sweep.pl @@ -319,6 +319,7 @@ sweep_short_documentation_head(parentheses_term_position(Beg, End, Pos), Head, N sweep_short_documentation_(FileName, Mod, Goal, Index, Meta, PIString, Doc, ArgSpan) :- explicit_args(Meta, Goal, Head), + \+ is_control_goal(Head), ( predicate_property(Mod:Head, built_in) -> M = system ; ( xref_defined(FileName, Head, imported(From)) @@ -422,7 +423,6 @@ explicit_args_(N, G0, G) :- append(A0, A1, A), G =.. [F|A]. - sweep_short_documentation_finalize(M, PI, Index, PIString, Doc, ArgSpan) :- doc_comment(M:PI, Pos, OneLiner, Comment), is_structured_comment(Comment, Prefixes), -- 2.39.2