]> git.eshelyaron.com Git - dict.git/log
dict.git
2 years agoDOC: describe the Top-level Menu and signaling in the manual
Eshel Yaron [Tue, 4 Oct 2022 18:16:17 +0000 (21:16 +0300)]
DOC: describe the Top-level Menu and signaling in the manual

* README.org:
- The Top-level Menu buffer: new section.
- Sending signals to running top-levels: new section.

2 years agoADDED: key and menu bindings for sweeprolog-list-top-levels
Eshel Yaron [Tue, 4 Oct 2022 14:32:17 +0000 (17:32 +0300)]
ADDED: key and menu bindings for sweeprolog-list-top-levels

* sweeprolog.el:
- sweeprolog-prefix-map: bind sweeprolog-list-top-levels to T
- sweeprolog-menu: add menu entry for sweeprolog-list-top-levels

2 years agoADDED: new command for signaling a top-level from the Top-level Menu
Eshel Yaron [Tue, 4 Oct 2022 11:21:42 +0000 (14:21 +0300)]
ADDED: new command for signaling a top-level from the Top-level Menu

* sweeprolog.el:
- sweeprolog-top-level-menu-signal: new command
- sweeprolog-top-level-menu-mode-map: bind it to s

2 years agoADDED: new command for signaling the current top-level
Eshel Yaron [Tue, 4 Oct 2022 11:20:05 +0000 (14:20 +0300)]
ADDED: new command for signaling the current top-level

* sweeprolog.el:
- sweeprolog-top-level-signal-current: new command
- sweeprolog-top-level-mode-map: bind it to C-c C-c

2 years agoFIXED: top-level buffer to thread synchronization
Eshel Yaron [Tue, 4 Oct 2022 09:42:48 +0000 (12:42 +0300)]
FIXED: top-level buffer to thread synchronization

2 years agoADDED: new command for signaling Prolog top-level threads
Eshel Yaron [Tue, 4 Oct 2022 09:33:08 +0000 (12:33 +0300)]
ADDED: new command for signaling Prolog top-level threads

* sweep.pl: sweep_thread_signal/2: new predicate.

* sweeprolog.el:
- sweeprolog-signal-thread: new function, Elisp interface for
sweep_thread_signal/2.
- sweeprolog-top-level-thread-id: new buffer-local variable in
sweeprolog-top-level buffers.
- sweeprolog-top-level-signal: new command.
- sweeprolog-top-level-mode: signal top-level thread with
thread_exit/1 when buffer is killed.

2 years agoFIXED: reverse args modes in sweeprolog-document-predicate-at-point
Eshel Yaron [Tue, 4 Oct 2022 08:27:20 +0000 (11:27 +0300)]
FIXED: reverse args modes in sweeprolog-document-predicate-at-point

2 years agoADDED: sweep Top-level Menu for listing Prolog top-levels
Eshel Yaron [Mon, 3 Oct 2022 15:55:36 +0000 (18:55 +0300)]
ADDED: sweep Top-level Menu for listing Prolog top-levels

* sweep.pl
- sweep_top_level_threads/2: new predicate for querying
currently active Prolog top-level threads

* sweeprolog.el
- sweeprolog-top-level-menu--entries: new function, exposing
sweep_top_level_threads/2 to Elisp.
- sweeprolog-top-level-menu-mode: new major mode derived from
tabulated-list-mode
- sweeprolog-top-level-menu-go-to: new command, switches to the
top-level buffer of the Top-level Menu entry at point
- sweeprolog-top-level-menu-kill: new command, kills the top-level
buffer of the Top-level Menu entry at point
- sweeprolog-top-level-menu-new: new command, creates a new top-level
from the Top-level Menu
- sweeprolog-list-top-levels: new command, opens the Top-level Menu

2 years agoNEWS.org: announce sweeprolog-document-predicate-at-point
Eshel Yaron [Mon, 3 Oct 2022 15:55:14 +0000 (18:55 +0300)]
NEWS.org: announce sweeprolog-document-predicate-at-point

2 years agoREADME.org: fix typos
Eshel Yaron [Mon, 3 Oct 2022 15:53:58 +0000 (18:53 +0300)]
README.org: fix typos

2 years agoDOC: Add docstrings to some undocumented internal functions
Eshel Yaron [Sun, 2 Oct 2022 20:04:02 +0000 (23:04 +0300)]
DOC: Add docstrings to some undocumented internal functions

2 years agoDOC: new manual section "Documenting predicates"
Eshel Yaron [Sun, 2 Oct 2022 20:03:29 +0000 (23:03 +0300)]
DOC: new manual section "Documenting predicates"

2 years agoADDED: new command sweeprolog-document-predicate-at-point
Eshel Yaron [Sun, 2 Oct 2022 17:20:14 +0000 (20:20 +0300)]
ADDED: new command sweeprolog-document-predicate-at-point

2 years agoADDED: new function sweeprolog-definition-at-point
Eshel Yaron [Sat, 1 Oct 2022 19:26:07 +0000 (22:26 +0300)]
ADDED: new function sweeprolog-definition-at-point

2 years agoDOC: document new eldoc integration v0.4.7
Eshel Yaron [Sat, 1 Oct 2022 15:55:32 +0000 (18:55 +0300)]
DOC: document new eldoc integration

2 years agoADDED: on-the-fly documentation for predicates with eldoc
Eshel Yaron [Sat, 1 Oct 2022 14:33:47 +0000 (17:33 +0300)]
ADDED: on-the-fly documentation for predicates with eldoc

2 years agoADDED: auto-insert integration for filling in Prolog module headers v0.4.6
Eshel Yaron [Sat, 1 Oct 2022 10:57:20 +0000 (13:57 +0300)]
ADDED: auto-insert integration for filling in Prolog module headers

* sweeprolog-module-header-comment-skeleton: new user option

2 years agoFIXED: clear highlighting from whitespace after a fullstop v0.4.5
Eshel Yaron [Fri, 30 Sep 2022 20:23:06 +0000 (23:23 +0300)]
FIXED: clear highlighting from whitespace after a fullstop

2 years agoNEWS.org: remove version macro using internal package-desc-version
Eshel Yaron [Fri, 30 Sep 2022 20:05:38 +0000 (23:05 +0300)]
NEWS.org: remove version macro using internal package-desc-version

2 years agoFIXED: error when indenting after prefix operator
Eshel Yaron [Fri, 30 Sep 2022 14:11:27 +0000 (17:11 +0300)]
FIXED: error when indenting after prefix operator

2 years agoDOC: say sweep-module instead of sweeprolog-module in the manual
Eshel Yaron [Fri, 30 Sep 2022 11:57:30 +0000 (14:57 +0300)]
DOC: say sweep-module instead of sweeprolog-module in the manual

2 years agoDOC: add missing source block in Getting Started section
Eshel Yaron [Fri, 30 Sep 2022 11:55:42 +0000 (14:55 +0300)]
DOC: add missing source block in Getting Started section

2 years agoDOC: Added "Getting Started" manual section v0.4.4
Eshel Yaron [Fri, 30 Sep 2022 11:50:18 +0000 (14:50 +0300)]
DOC: Added "Getting Started" manual section

2 years agoADDED: Menu for sweep commands
Eshel Yaron [Fri, 30 Sep 2022 11:50:11 +0000 (14:50 +0300)]
ADDED: Menu for sweep commands

2 years agoDOC: add a reference to the SWI-Prolog manual QQ section
Eshel Yaron [Fri, 30 Sep 2022 09:03:05 +0000 (12:03 +0300)]
DOC: add a reference to the SWI-Prolog manual QQ section

2 years agoENHANCED: provide semantic highlighting for missing term kinds
Eshel Yaron [Fri, 30 Sep 2022 08:58:41 +0000 (11:58 +0300)]
ENHANCED: provide semantic highlighting for missing term kinds

2 years agoDOC: document quasi-quotation highlighting in the manual v0.4.3
Eshel Yaron [Fri, 30 Sep 2022 06:54:01 +0000 (09:54 +0300)]
DOC: document quasi-quotation highlighting in the manual

2 years agoENHANCED: fontify quasi-quotation content according to its type
Eshel Yaron [Fri, 30 Sep 2022 06:22:42 +0000 (09:22 +0300)]
ENHANCED: fontify quasi-quotation content according to its type

* sweeprolog-qq-mode-alist: new user option
* (sweeprolog--colour-term-to-faces): use it

2 years agoFIXED: error on interactively removing variable highlighting v0.4.2
Eshel Yaron [Thu, 29 Sep 2022 20:12:02 +0000 (23:12 +0300)]
FIXED: error on interactively removing variable highlighting

2 years agoDOC: document new variable highlighting in the manual
Eshel Yaron [Thu, 29 Sep 2022 20:05:59 +0000 (23:05 +0300)]
DOC: document new variable highlighting in the manual

2 years agoADDED: new command sweeprolog-highlight-variable
Eshel Yaron [Thu, 29 Sep 2022 20:04:22 +0000 (23:04 +0300)]
ADDED: new command sweeprolog-highlight-variable

* (sweeprolog-highlight-variable): New command
* (sweeprolog-cursor-sensor-functions): use it

2 years agoADDED: new user option sweeprolog-enable-cursor-sensor
Eshel Yaron [Thu, 29 Sep 2022 20:03:21 +0000 (23:03 +0300)]
ADDED: new user option sweeprolog-enable-cursor-sensor

* sweeprolog-enable-cursor-sensor: New option
* (sweeprolog-mode): use it

2 years agoENHANCED: underline occurrences of the variable at point
Eshel Yaron [Thu, 29 Sep 2022 18:49:25 +0000 (21:49 +0300)]
ENHANCED: underline occurrences of the variable at point

2 years agoDOC: add installation instructions from NonGNU ELPA
Eshel Yaron [Thu, 29 Sep 2022 18:28:55 +0000 (21:28 +0300)]
DOC: add installation instructions from NonGNU ELPA

2 years agoUse a public mailing list in the Maintainer package header
Eshel Yaron [Thu, 29 Sep 2022 17:55:48 +0000 (20:55 +0300)]
Use a public mailing list in the Maintainer package header

2 years agoENHANCED: More indicative error on failure to locate sweep-module
Eshel Yaron [Thu, 29 Sep 2022 17:46:51 +0000 (20:46 +0300)]
ENHANCED: More indicative error on failure to locate sweep-module

2 years agoENHANCED: only fontify visible sweeprolog-mode buffers on idle
Eshel Yaron [Thu, 29 Sep 2022 17:38:58 +0000 (20:38 +0300)]
ENHANCED: only fontify visible sweeprolog-mode buffers on idle

2 years agoENHANCED: (sweep--colour-term-to-face): return multiple regions
Eshel Yaron [Thu, 29 Sep 2022 13:57:23 +0000 (16:57 +0300)]
ENHANCED: (sweep--colour-term-to-face): return multiple regions

2 years agoDOC: document the newly added sweeprolog-restart command v0.4.1
Eshel Yaron [Thu, 29 Sep 2022 08:43:43 +0000 (11:43 +0300)]
DOC: document the newly added sweeprolog-restart command

2 years agoADDED: new command sweeprolog-restart for resetting sweep
Eshel Yaron [Thu, 29 Sep 2022 05:58:05 +0000 (08:58 +0300)]
ADDED: new command sweeprolog-restart for resetting sweep

* (sweeprolog-init): new &rest args
* (sweeprolog-restart): new command
* sweeprolog-prefix-map: bind it

2 years agoFIXED: remove message_hook during cleanup to avoid possible crash
Eshel Yaron [Wed, 28 Sep 2022 17:13:45 +0000 (20:13 +0300)]
FIXED: remove message_hook during cleanup to avoid possible crash

2 years agoMODIFIED: Breaking change: rename sweep.el to sweeprolog.el... v0.4.0
Eshel Yaron [Wed, 28 Sep 2022 15:15:40 +0000 (18:15 +0300)]
MODIFIED: Breaking change: rename sweep.el to sweeprolog.el...

...and replace the `sweep-` prefix for all symbols with `sweeprolog-`.

This follows a request from RMS and Philip Kaludercic on the
emacs-devel mailing list to make the name of the Emacs package more
indicative.

2 years agoFIXED: don't rely on string-lines added in Emacs 28.1
Eshel Yaron [Mon, 26 Sep 2022 10:00:58 +0000 (13:00 +0300)]
FIXED: don't rely on string-lines added in Emacs 28.1

2 years agoFIXED: use a more robust mechanism for finding sweep-module
Eshel Yaron [Mon, 26 Sep 2022 09:16:16 +0000 (12:16 +0300)]
FIXED: use a more robust mechanism for finding sweep-module

2 years agoUpdate LICENSE
Eshel Yaron [Mon, 26 Sep 2022 07:58:16 +0000 (10:58 +0300)]
Update LICENSE

2 years agoDOC: update installation instruction to reflect inclusion in swipl
Eshel Yaron [Mon, 26 Sep 2022 06:48:25 +0000 (09:48 +0300)]
DOC: update installation instruction to reflect inclusion in swipl

2 years agoDOC: fix typos in README.org
Eshel Yaron [Sun, 25 Sep 2022 20:25:32 +0000 (23:25 +0300)]
DOC: fix typos in README.org

2 years agoDOC: document imenu support in sweep-mode buffers
Eshel Yaron [Sun, 25 Sep 2022 15:07:37 +0000 (18:07 +0300)]
DOC: document imenu support in sweep-mode buffers

2 years agoADDED: support imenu in sweep-mode buffers
Eshel Yaron [Sun, 25 Sep 2022 14:35:13 +0000 (17:35 +0300)]
ADDED: support imenu in sweep-mode buffers

2 years agoENHANCED: also update highlighting between sub terms
Eshel Yaron [Sun, 25 Sep 2022 11:48:44 +0000 (14:48 +0300)]
ENHANCED: also update highlighting between sub terms

2 years agoADDED: sweep-mode: make sexp-based commands work on Prolog terms v0.3.3
Eshel Yaron [Sun, 25 Sep 2022 07:03:18 +0000 (10:03 +0300)]
ADDED: sweep-mode: make sexp-based commands work on Prolog terms

This includes forward-sexp (C-M-f), transpose-sexps (C-M-t), etc.

2 years agoDOC: fix copy-paste error in README.org
Eshel Yaron [Sat, 24 Sep 2022 14:35:11 +0000 (17:35 +0300)]
DOC: fix copy-paste error in README.org

2 years agoDOC: document new user option sweep-faces-style
Eshel Yaron [Sat, 24 Sep 2022 14:33:23 +0000 (17:33 +0300)]
DOC: document new user option sweep-faces-style

2 years agoTweak README to prevent a hosting platform from failing to render it
Eshel Yaron [Sat, 24 Sep 2022 14:17:44 +0000 (17:17 +0300)]
Tweak README to prevent a hosting platform from failing to render it

2 years agoADDED: sweep-faces-style user option for controlling highlighting
Eshel Yaron [Fri, 23 Sep 2022 20:08:10 +0000 (23:08 +0300)]
ADDED: sweep-faces-style user option for controlling highlighting

2 years agosweep.el: remove outdated sweep--compile-module function
Eshel Yaron [Fri, 23 Sep 2022 20:07:47 +0000 (23:07 +0300)]
sweep.el: remove outdated sweep--compile-module function

2 years agoFind Emacs as `emacs`
Jan Wielemaker [Sat, 24 Sep 2022 13:48:02 +0000 (15:48 +0200)]
Find Emacs as `emacs`

2 years agoFIXED: qualify calls to sweep_funcall/2
Eshel Yaron [Fri, 23 Sep 2022 18:43:38 +0000 (21:43 +0300)]
FIXED: qualify calls to sweep_funcall/2

2 years agoFIXED: sweep-init-args separate arguments
Eshel Yaron [Fri, 23 Sep 2022 18:18:53 +0000 (21:18 +0300)]
FIXED: sweep-init-args separate arguments

2 years agoFIXED: indentation error when typing at end of buffer v0.3.2
Eshel Yaron [Fri, 23 Sep 2022 16:10:49 +0000 (19:10 +0300)]
FIXED: indentation error when typing at end of buffer

2 years agoBUILD: replaced Makefile with CMakeLists.txt
Eshel Yaron [Fri, 23 Sep 2022 15:44:10 +0000 (18:44 +0300)]
BUILD: replaced Makefile with CMakeLists.txt

2 years agoBUILD: rely on preexisting emacs-module.h
Eshel Yaron [Fri, 23 Sep 2022 15:22:01 +0000 (18:22 +0300)]
BUILD: rely on preexisting emacs-module.h

2 years agoBUILD: Inline sweep.h in sweep.c
Eshel Yaron [Fri, 23 Sep 2022 10:05:50 +0000 (13:05 +0300)]
BUILD: Inline sweep.h in sweep.c

2 years agoNew make target: make info
Eshel Yaron [Fri, 23 Sep 2022 10:05:16 +0000 (13:05 +0300)]
New make target: make info

2 years agoADDED: new user option for choosing indentation increments v0.3.1
Eshel Yaron [Fri, 23 Sep 2022 09:43:52 +0000 (12:43 +0300)]
ADDED: new user option for choosing indentation increments

* sweep.el:
** sweep-indent-offset: new user option
** (sweep-indent-line): use it

* README.org: document new indentation engine

2 years agoENHANCHED: automatic syntax aware autoindentation in sweep-mode v0.3.0
Eshel Yaron [Wed, 21 Sep 2022 18:58:39 +0000 (21:58 +0300)]
ENHANCHED: automatic syntax aware autoindentation in sweep-mode

2 years agoADDED: sweep_op_info/2: new_predicate
Eshel Yaron [Wed, 21 Sep 2022 16:30:34 +0000 (19:30 +0300)]
ADDED: sweep_op_info/2: new_predicate

2 years agoFIXED: handle some more color terms
Eshel Yaron [Mon, 19 Sep 2022 17:10:27 +0000 (20:10 +0300)]
FIXED: handle some more color terms

2 years agoFIXED: (sweep--colourise): handle the dict_content color term
Eshel Yaron [Mon, 19 Sep 2022 09:15:28 +0000 (12:15 +0300)]
FIXED: (sweep--colourise): handle the dict_content color term

2 years agoPORT: use (eql sweep) instead of (eql 'sweep) in cl-defmethods...
Eshel Yaron [Mon, 19 Sep 2022 08:14:28 +0000 (11:14 +0300)]
PORT: use (eql sweep) instead of (eql 'sweep) in cl-defmethods...

...for compatibility with Emacs 27

2 years agoFIXED: (sweep-beginning-of-top-term): possible infinite loop
Eshel Yaron [Fri, 16 Sep 2022 11:08:32 +0000 (14:08 +0300)]
FIXED: (sweep-beginning-of-top-term): possible infinite loop

2 years agoFIXED: package-lint complaint about autoloaded private function
Eshel Yaron [Wed, 14 Sep 2022 20:49:12 +0000 (23:49 +0300)]
FIXED: package-lint complaint about autoloaded private function

2 years agoDOC: update commentary section in sweep.el
Eshel Yaron [Wed, 14 Sep 2022 20:47:59 +0000 (23:47 +0300)]
DOC: update commentary section in sweep.el

2 years agoDOC: Add Top-level history section v0.2.1
Eshel Yaron [Wed, 14 Sep 2022 20:16:15 +0000 (23:16 +0300)]
DOC: Add Top-level history section

2 years agoFIXED: indentation after with inline comments
Eshel Yaron [Wed, 14 Sep 2022 18:35:44 +0000 (21:35 +0300)]
FIXED: indentation after with inline comments

2 years agoENHANCED: don't record one-character inputs in the top level history
Eshel Yaron [Wed, 14 Sep 2022 13:21:13 +0000 (16:21 +0300)]
ENHANCED: don't record one-character inputs in the top level history

2 years agoADDED: sweep-colourise-buffer-on-idle user option, on by default
Eshel Yaron [Mon, 12 Sep 2022 15:42:24 +0000 (18:42 +0300)]
ADDED: sweep-colourise-buffer-on-idle user option, on by default

2 years agoENHANCED: Update semantic highlighting on idle timer in sweep-mode
Eshel Yaron [Mon, 12 Sep 2022 09:53:40 +0000 (12:53 +0300)]
ENHANCED: Update semantic highlighting on idle timer in sweep-mode

(sweep-colourise-buffer-max-size): new user option
(sweep-colourise-buffer-min-interval): new user option
(sweep-mode): setup highlighting on idle timer

2 years agoADDED: (sweep-indent-line-ends-with-prefix-operator): New function
Eshel Yaron [Mon, 12 Sep 2022 07:58:15 +0000 (10:58 +0300)]
ADDED: (sweep-indent-line-ends-with-prefix-operator): New function

(sweep-indent-line-indentation): use it

2 years agoADDED: (sweep-prefix-operators): New function
Eshel Yaron [Mon, 12 Sep 2022 07:38:40 +0000 (10:38 +0300)]
ADDED: (sweep-prefix-operators): New function

2 years agoMakefile: Allow specifying the path to emacs
James N. V. Cash [Sun, 11 Sep 2022 22:55:46 +0000 (18:55 -0400)]
Makefile: Allow specifying the path to emacs

Running emacs on macOS, the emacs binary is inside the app bundle, not
on the path, so it's useful to be able to specify it.

2 years agoMakefile: Use "--batch" instead of "-batch" for consistency
James N. V. Cash [Sun, 11 Sep 2022 22:54:35 +0000 (18:54 -0400)]
Makefile: Use "--batch" instead of "-batch" for consistency

2 years agoDOC: README.org: add ^:{} option
Eshel Yaron [Sun, 11 Sep 2022 21:04:28 +0000 (00:04 +0300)]
DOC: README.org: add ^:{} option

2 years agoPORT: don't depend on pos-bol added in Emacs 29
Eshel Yaron [Sun, 11 Sep 2022 20:53:01 +0000 (23:53 +0300)]
PORT: don't depend on pos-bol added in Emacs 29

2 years agoDOC: Following file specifications: new section
Eshel Yaron [Sun, 11 Sep 2022 20:52:36 +0000 (23:52 +0300)]
DOC: Following file specifications: new section

2 years agoADDED: (sweep-mode-map): bind C-c C-o to sweep-find-file-at-point
Eshel Yaron [Sun, 11 Sep 2022 20:22:56 +0000 (23:22 +0300)]
ADDED: (sweep-mode-map): bind C-c C-o to sweep-find-file-at-point

2 years agoADDED: (sweep-find-file-at-point): new function
Eshel Yaron [Sun, 11 Sep 2022 20:19:50 +0000 (23:19 +0300)]
ADDED: (sweep-find-file-at-point): new function

(sweep-mode): add sweep-file-at-point to file-name-at-point-functions
buffer locally.

2 years agoADDED: (sweep-file-at-point): new function
Eshel Yaron [Sun, 11 Sep 2022 19:31:15 +0000 (22:31 +0300)]
ADDED: (sweep-file-at-point): new function

2 years agoDOC: NEWS.org: new file
Eshel Yaron [Sun, 11 Sep 2022 18:07:31 +0000 (21:07 +0300)]
DOC: NEWS.org: new file

2 years agosweep.el: bump Package-Version to 0.2.0 v0.2.0
Eshel Yaron [Sun, 11 Sep 2022 16:46:22 +0000 (19:46 +0300)]
sweep.el: bump Package-Version to 0.2.0

2 years agoPORT: sweep.el: require Emacs version 28 for RTLD_GLOBAL
Eshel Yaron [Sun, 11 Sep 2022 16:45:29 +0000 (19:45 +0300)]
PORT: sweep.el: require Emacs version 28 for RTLD_GLOBAL

2 years agoDOC: Loading buffers: new section
Eshel Yaron [Sun, 11 Sep 2022 16:42:14 +0000 (19:42 +0300)]
DOC: Loading buffers: new section

2 years agoENHANCED: (sweep-load-buffer): report results
Eshel Yaron [Sun, 11 Sep 2022 16:25:03 +0000 (19:25 +0300)]
ENHANCED: (sweep-load-buffer): report results

2 years agoFIXED: (sweep-load-buffer): error after prompting for a buffer
Eshel Yaron [Sun, 11 Sep 2022 16:15:21 +0000 (19:15 +0300)]
FIXED: (sweep-load-buffer): error after prompting for a buffer

2 years agoFIXED: sweep_load_buffer/3: load files in the context of "user"
Eshel Yaron [Sun, 11 Sep 2022 16:10:40 +0000 (19:10 +0300)]
FIXED: sweep_load_buffer/3: load files in the context of "user"

2 years agoENHANCED: (sweep-load-buffer): use read-buffer to choose a buffer
Eshel Yaron [Sun, 11 Sep 2022 16:07:02 +0000 (19:07 +0300)]
ENHANCED: (sweep-load-buffer): use read-buffer to choose a buffer

2 years agoADDED: sweep-load-buffer
Eshel Yaron [Sun, 11 Sep 2022 15:43:24 +0000 (18:43 +0300)]
ADDED: sweep-load-buffer

2 years agoFIXED: sweep_predicates_collection/2: include preds defined in user
Eshel Yaron [Sun, 11 Sep 2022 15:04:07 +0000 (18:04 +0300)]
FIXED: sweep_predicates_collection/2: include preds defined in user

2 years agoFIXED: premature cut in sweep_predicate_location/2
Eshel Yaron [Sun, 11 Sep 2022 14:46:55 +0000 (17:46 +0300)]
FIXED: premature cut in sweep_predicate_location/2

2 years agoENHANCED: Display message if unable to find predicate location
James N. V. Cash [Sun, 11 Sep 2022 12:50:58 +0000 (15:50 +0300)]
ENHANCED: Display message if unable to find predicate location