]> git.eshelyaron.com Git - dict.git/commit
Adjust arity of predicates according to completion context
authorEshel Yaron <me@eshelyaron.com>
Fri, 25 Nov 2022 21:01:40 +0000 (23:01 +0200)
committerEshel Yaron <me@eshelyaron.com>
Fri, 25 Nov 2022 21:01:40 +0000 (23:01 +0200)
commit07b9a40b203a0b2900ddc3682a3334929a240373
tree4a0f117a2a1e02ce515ff285507f1986b9f7dea4
parent3f60ed45288efe75142cdc8959909c42e8d8ee3c
Adjust arity of predicates according to completion context

* sweep.pl (sweep_context_callable): track required arity adjustment.
(sweep_predicate_completion_candidates): take arity difference as
argument, adjust and filter candidates according to it.
* sweeprolog.el (sweeprolog-predicate-completion-at-point): use it.
* sweeprolog-tests.el: test it.
sweep.pl
sweeprolog-tests.el
sweeprolog.el