]> git.eshelyaron.com Git - sweep.git/commitdiff
; Fix naming of implicit DCG arguments in completion candidates
authorEshel Yaron <me@eshelyaron.com>
Mon, 13 Nov 2023 13:04:54 +0000 (14:04 +0100)
committerEshel Yaron <me@eshelyaron.com>
Mon, 13 Nov 2023 13:04:54 +0000 (14:04 +0100)
* sweep.pl (predicate_argument_names/3): Make implicit arguments
appear as anonymous variables.

sweep.pl

index ae8487e78939547c13d7236e09e51b05f85b923c..b5eb37c9326bf1a653a29b2904c7b0a871130bec 100644 (file)
--- a/sweep.pl
+++ b/sweep.pl
@@ -1445,10 +1445,9 @@ sweep_file_path_in_library(Path, Spec) :-
     ;   term_string(Spec1, Spec)
     ).
 
-
 predicate_argument_names(M:F/A, Args, Extra) :-
     (   sweep_grammar_rule(M, F, A)
-    ->  Extra = [_,_]
+    ->  Extra = ['$VAR'('_'),'$VAR'('_')]
     ;   Extra = []
     ),
     sweep_module_functor_arity_pi_(M, F, A, M:PI),
@@ -1458,7 +1457,6 @@ predicate_argument_names(M:F/A, Args, Extra) :-
     arg(2, PI, N),
     predicate_argument_names_(N, Args0, Args).
 
-
 predicate_argument_names_from_man(M, PI, Args) :-
     (   pldoc_man:load_man_object(M:PI, _, _, DOM0)
     ->  true