]> git.eshelyaron.com Git - sweep.git/commitdiff
; Inhibit ElDoc messages for common Prolog control constructs
authorEshel Yaron <me@eshelyaron.com>
Sun, 12 Nov 2023 18:30:52 +0000 (19:30 +0100)
committerEshel Yaron <me@eshelyaron.com>
Sun, 12 Nov 2023 18:30:52 +0000 (19:30 +0100)
sweep.pl

index 574da33c693bcea79021e9c58abe4d6fb1e8209c..ae8487e78939547c13d7236e09e51b05f85b923c 100644 (file)
--- 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),