From 85ca3a5dc2f1b76bb3f1d6801658b0a55c46face Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Mon, 5 Sep 2022 08:24:30 +0300 Subject: [PATCH] FIXED: bind SourceId in xref based completions --- sweep.pl | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/sweep.pl b/sweep.pl index a8e53b6..a9836c6 100644 --- a/sweep.pl +++ b/sweep.pl @@ -213,7 +213,8 @@ sweep_local_predicate_completion([Mod|Sub], Preds) :- Preds0, Tail), findall(XF/XN, - ( xref_defined(SourceId, H, _), + ( xref_module(SourceId, M), + xref_defined(SourceId, H, _), H \= _:_, pi_head(XF/XN, H) ), @@ -332,7 +333,7 @@ sweep_color_normalized_(Offset, syntax_error, [Message0,Start0-End0|_], ["syntax Start is Start0 + Offset, End is End0 + Offset, atom_string(Message0, Message). -sweep_color_normalized_(Offset, comment, [Kind0|_], ["comment"|Kind]) :- +sweep_color_normalized_(_, comment, [Kind0|_], ["comment"|Kind]) :- !, atom_string(Kind0, Kind). sweep_color_normalized_(_, Nom0, _, Nom) :- -- 2.39.2