]> git.eshelyaron.com Git - dict.git/log
dict.git
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

2 years agoFIXED: off by one in sweep-colourise-some-terms
Eshel Yaron [Sat, 10 Sep 2022 12:54:12 +0000 (15:54 +0300)]
FIXED: off by one in sweep-colourise-some-terms

2 years agoFIXED: handle more missing color terms
Eshel Yaron [Sat, 10 Sep 2022 12:54:02 +0000 (15:54 +0300)]
FIXED: handle more missing color terms

2 years agoFIXED: sweep-beginning-of-top-term stopping at comment start
Eshel Yaron [Sat, 10 Sep 2022 11:21:03 +0000 (14:21 +0300)]
FIXED: sweep-beginning-of-top-term stopping at comment start

2 years agoFIXED: handle some missing color terms
Eshel Yaron [Sat, 10 Sep 2022 11:20:29 +0000 (14:20 +0300)]
FIXED: handle some missing color terms

2 years agoFIXED: use operators from xref in sweep_colourise_some_terms
Eshel Yaron [Fri, 9 Sep 2022 08:18:53 +0000 (11:18 +0300)]
FIXED: use operators from xref in sweep_colourise_some_terms

2 years agoPORT: don't use the 2nd arg to looking-at, added only in Emacs 29
Eshel Yaron [Thu, 8 Sep 2022 16:33:29 +0000 (19:33 +0300)]
PORT: don't use the 2nd arg to looking-at, added only in Emacs 29

2 years agoENHANCED: apply an appropriate face to global predicate calls
Eshel Yaron [Thu, 8 Sep 2022 13:53:39 +0000 (16:53 +0300)]
ENHANCED: apply an appropriate face to global predicate calls

2 years agoENHANCED: provide caller predicate in xref-find-references
Eshel Yaron [Thu, 8 Sep 2022 13:50:33 +0000 (16:50 +0300)]
ENHANCED: provide caller predicate in xref-find-references

2 years agoFIXED: correctly identify the predicate defined at start of clause
Eshel Yaron [Thu, 8 Sep 2022 13:49:36 +0000 (16:49 +0300)]
FIXED: correctly identify the predicate defined at start of clause

2 years agoDOC: add manual section about setting Prolog flags
Eshel Yaron [Thu, 8 Sep 2022 07:49:27 +0000 (10:49 +0300)]
DOC: add manual section about setting Prolog flags

2 years agoADDED: sweep-set-prolog-flag for setting Prolog flags
Eshel Yaron [Wed, 7 Sep 2022 19:50:03 +0000 (22:50 +0300)]
ADDED: sweep-set-prolog-flag for setting Prolog flags

2 years agoDOC: fix typos
Eshel Yaron [Wed, 7 Sep 2022 18:48:55 +0000 (21:48 +0300)]
DOC: fix typos

2 years agoENHANCED: emit Prolog messages with color coding
Eshel Yaron [Wed, 7 Sep 2022 15:08:28 +0000 (18:08 +0300)]
ENHANCED: emit Prolog messages with color coding

2 years agoMODIFIED: use executable-find to locate the swipl executable...
Eshel Yaron [Tue, 6 Sep 2022 19:40:18 +0000 (22:40 +0300)]
MODIFIED: use executable-find to locate the swipl executable...

...instead of looking for it in the sweep installation directory,
which is no longer appropriate since we don't build swipl ourselves
but rely on an existing installation.

2 years agoENHANCED: allow user to specify location of swipl binary
James N. V. Cash [Tue, 6 Sep 2022 19:30:01 +0000 (22:30 +0300)]
ENHANCED: allow user to specify location of swipl binary

2 years agoFIXED: detect "|:" prompt in the top-level
Eshel Yaron [Tue, 6 Sep 2022 19:15:00 +0000 (22:15 +0300)]
FIXED: detect "|:" prompt in the top-level

2 years agoDOC: document the Prolog messages buffer
Eshel Yaron [Tue, 6 Sep 2022 18:46:42 +0000 (21:46 +0300)]
DOC: document the Prolog messages buffer

2 years agoENHANCED: redirect Prolog messages to Emacs message function
Eshel Yaron [Tue, 6 Sep 2022 16:48:57 +0000 (19:48 +0300)]
ENHANCED: redirect Prolog messages to Emacs message function

2 years agoDOC: document font-lock and xref integration for sweep-mode
Eshel Yaron [Tue, 6 Sep 2022 08:45:51 +0000 (11:45 +0300)]
DOC: document font-lock and xref integration for sweep-mode

2 years agoADDED: implemented all xref backend callback functions
Eshel Yaron [Mon, 5 Sep 2022 19:25:06 +0000 (22:25 +0300)]
ADDED: implemented all xref backend callback functions

2 years agoENHANCED: better detection of the identifier at point
Eshel Yaron [Mon, 5 Sep 2022 17:20:05 +0000 (20:20 +0300)]
ENHANCED: better detection of the identifier at point

2 years agoADDED: prepare xref backend
Eshel Yaron [Mon, 5 Sep 2022 16:26:40 +0000 (19:26 +0300)]
ADDED: prepare xref backend

2 years agoENHANCED: indentation edge cases handling
Eshel Yaron [Mon, 5 Sep 2022 16:22:11 +0000 (19:22 +0300)]
ENHANCED: indentation edge cases handling

2 years agoENHANCED: fontify mutlifile predicate calls in a dedicated face
Eshel Yaron [Mon, 5 Sep 2022 15:21:56 +0000 (18:21 +0300)]
ENHANCED: fontify mutlifile predicate calls in a dedicated face

2 years agoPORT: don't rely on defvar-keymap available only since Emacs 29
Eshel Yaron [Mon, 5 Sep 2022 06:21:44 +0000 (09:21 +0300)]
PORT: don't rely on defvar-keymap available only since Emacs 29

2 years agoFIXED: bind SourceId in xref based completions
Eshel Yaron [Mon, 5 Sep 2022 05:24:30 +0000 (08:24 +0300)]
FIXED: bind SourceId in xref based completions

2 years agoENHANCED: use a distinct face for structured comments
Eshel Yaron [Mon, 5 Sep 2022 05:21:54 +0000 (08:21 +0300)]
ENHANCED: use a distinct face for structured comments

2 years agoENHANCED: also complete predicate names from xref
Eshel Yaron [Sun, 4 Sep 2022 20:11:27 +0000 (23:11 +0300)]
ENHANCED: also complete predicate names from xref

2 years agoENHANCED: add completion-at-point in sweep-mode
Eshel Yaron [Sun, 4 Sep 2022 19:59:15 +0000 (22:59 +0300)]
ENHANCED: add completion-at-point in sweep-mode

2 years agoENHANCED: set per buffer module name in sweep-mode
Eshel Yaron [Sun, 4 Sep 2022 19:57:31 +0000 (22:57 +0300)]
ENHANCED: set per buffer module name in sweep-mode

2 years agoADDED: custom font-lock-fontify-region-function for sweep-mode
Eshel Yaron [Sun, 4 Sep 2022 19:04:16 +0000 (22:04 +0300)]
ADDED: custom font-lock-fontify-region-function for sweep-mode

2 years agoADDED: sweep-indent-line, an indent-line-function for sweep-mode
Eshel Yaron [Sun, 4 Sep 2022 17:04:30 +0000 (20:04 +0300)]
ADDED: sweep-indent-line, an indent-line-function for sweep-mode

2 years agoENHANCED: syntax errors coloring
Eshel Yaron [Sun, 4 Sep 2022 08:04:15 +0000 (11:04 +0300)]
ENHANCED: syntax errors coloring

2 years agoADDED: sweep-mode, a major mode for editing Prolog code
Eshel Yaron [Sat, 3 Sep 2022 16:33:33 +0000 (19:33 +0300)]
ADDED: sweep-mode, a major mode for editing Prolog code

2 years agoDOC: update manual section about filespec expansion
Eshel Yaron [Sat, 3 Sep 2022 15:44:57 +0000 (18:44 +0300)]
DOC: update manual section about filespec expansion

2 years agoADDED: sweep-file-name-handler
Eshel Yaron [Sat, 3 Sep 2022 12:44:35 +0000 (15:44 +0300)]
ADDED: sweep-file-name-handler

2 years agoENHANCED: prompt for buffer name in sweep-top-level with C-u
Eshel Yaron [Sat, 3 Sep 2022 08:47:03 +0000 (11:47 +0300)]
ENHANCED: prompt for buffer name in sweep-top-level with C-u

2 years agoFIXED: hide predicates starting with '$' in sweep-find-predicate
Eshel Yaron [Sat, 3 Sep 2022 07:39:41 +0000 (10:39 +0300)]
FIXED: hide predicates starting with '$' in sweep-find-predicate

2 years agoADDED: global keymap sweep-prefix-map, not bound by default
Eshel Yaron [Sat, 3 Sep 2022 06:44:42 +0000 (09:44 +0300)]
ADDED: global keymap sweep-prefix-map, not bound by default

2 years agoENHANCED: show more relevant candidates in top-level completion
Eshel Yaron [Sat, 3 Sep 2022 06:04:45 +0000 (09:04 +0300)]
ENHANCED: show more relevant candidates in top-level completion

2 years agoPORT: use swipl --dump-runtime-variables to locate SWI-Prolog.h
Eshel Yaron [Fri, 2 Sep 2022 07:40:05 +0000 (10:40 +0300)]
PORT: use swipl --dump-runtime-variables to locate SWI-Prolog.h

2 years agoAdd licensing information
Eshel Yaron [Fri, 2 Sep 2022 07:39:26 +0000 (10:39 +0300)]
Add licensing information

2 years agoAdd BSD license
Eshel Yaron [Thu, 1 Sep 2022 19:12:27 +0000 (22:12 +0300)]
Add BSD license

2 years agoPORT: detect older swipl and disable custom GMP alloc functions
Eshel Yaron [Thu, 1 Sep 2022 13:47:30 +0000 (16:47 +0300)]
PORT: detect older swipl and disable custom GMP alloc functions

2 years agoFIXED: copy paste error (singleton variable)
Eshel Yaron [Thu, 1 Sep 2022 13:43:37 +0000 (16:43 +0300)]
FIXED: copy paste error (singleton variable)

2 years agoDOC: Expand top-level documentation section
Eshel Yaron [Thu, 1 Sep 2022 13:42:49 +0000 (16:42 +0300)]
DOC: Expand top-level documentation section

2 years agoADDED: completion-at-point function in sweep-top-level-mode
Eshel Yaron [Thu, 1 Sep 2022 07:05:33 +0000 (10:05 +0300)]
ADDED: completion-at-point function in sweep-top-level-mode

2 years agoMake use of the new SWI-Prolog embedded GMP handling...
Eshel Yaron [Thu, 1 Sep 2022 06:05:01 +0000 (09:05 +0300)]
Make use of the new SWI-Prolog embedded GMP handling...

...added in https://github.com/SWI-Prolog/swipl-devel/pull/1029

2 years agoRemove the swipl-devel git submodule
Eshel Yaron [Wed, 31 Aug 2022 14:41:26 +0000 (17:41 +0300)]
Remove the swipl-devel git submodule

2 years agoDOC: update the manual to reflect the latest GMP deconflication
Eshel Yaron [Wed, 31 Aug 2022 14:31:48 +0000 (17:31 +0300)]
DOC: update the manual to reflect the latest GMP deconflication

2 years agoRun `make check` with libswipl preloaded
Eshel Yaron [Wed, 31 Aug 2022 14:25:19 +0000 (17:25 +0300)]
Run `make check` with libswipl preloaded

2 years agoRun `ninja install` as root in CI
Eshel Yaron [Wed, 31 Aug 2022 14:13:04 +0000 (17:13 +0300)]
Run `ninja install` as root in CI

2 years agoFIXED: accidentally left debugging remnants
Eshel Yaron [Wed, 31 Aug 2022 14:06:42 +0000 (17:06 +0300)]
FIXED: accidentally left debugging remnants

2 years agoENHANCED: Allow using swipl compiled with GMP
Eshel Yaron [Wed, 31 Aug 2022 13:52:26 +0000 (16:52 +0300)]
ENHANCED: Allow using swipl compiled with GMP

2 years agoDOC: Add Prolog initialization section to the manual
Eshel Yaron [Wed, 31 Aug 2022 07:05:01 +0000 (10:05 +0300)]
DOC: Add Prolog initialization section to the manual

2 years agoDOC: Document sweep_funcall/2,3 in the manual
Eshel Yaron [Tue, 30 Aug 2022 16:48:31 +0000 (19:48 +0300)]
DOC: Document sweep_funcall/2,3 in the manual

2 years agoADDED: sweep_funcall/2,3 for calling Elisp functions from Prolog
Eshel Yaron [Tue, 30 Aug 2022 16:29:37 +0000 (19:29 +0300)]
ADDED: sweep_funcall/2,3 for calling Elisp functions from Prolog

2 years agoENHANCED: Pass keystrokes to the top-level directly when appropriate
Eshel Yaron [Mon, 29 Aug 2022 17:33:19 +0000 (20:33 +0300)]
ENHANCED: Pass keystrokes to the top-level directly when appropriate

2 years agoDOC: Add CUSTOM_ID properties to README.org headings where needed
Eshel Yaron [Mon, 29 Aug 2022 16:59:01 +0000 (19:59 +0300)]
DOC: Add CUSTOM_ID properties to README.org headings where needed

2 years agoADDED: sweep-top-level command and appropriate mode
Eshel Yaron [Mon, 29 Aug 2022 16:50:55 +0000 (19:50 +0300)]
ADDED: sweep-top-level command and appropriate mode

2 years agoUse load-file-path instead of custom hack
Eshel Yaron [Mon, 29 Aug 2022 06:31:08 +0000 (09:31 +0300)]
Use load-file-path instead of custom hack

2 years agoENHANCED: Add optional "reverse" argument flag to sweep-open-query
Eshel Yaron [Sun, 28 Aug 2022 19:55:45 +0000 (22:55 +0300)]
ENHANCED: Add optional "reverse" argument flag to sweep-open-query

2 years agoCleanup sweep.el
Eshel Yaron [Sun, 28 Aug 2022 19:26:13 +0000 (22:26 +0300)]
Cleanup sweep.el

2 years agoDOC: Expand the manual section about Querying Prolog
Eshel Yaron [Sun, 28 Aug 2022 17:30:25 +0000 (20:30 +0300)]
DOC: Expand the manual section about Querying Prolog

2 years agoDOC: Document sweep-pack-install
Eshel Yaron [Sat, 27 Aug 2022 20:04:16 +0000 (23:04 +0300)]
DOC: Document sweep-pack-install

2 years agoADDED: sweep-pack-install for interactively installing packs
Eshel Yaron [Sat, 27 Aug 2022 19:56:03 +0000 (22:56 +0300)]
ADDED: sweep-pack-install for interactively installing packs

2 years agoENHANCED: annotate predicates with the summaries from the manual
Eshel Yaron [Sat, 27 Aug 2022 18:19:50 +0000 (21:19 +0300)]
ENHANCED: annotate predicates with the summaries from the manual

2 years agoENHANCED: make the prompts used in sweep-find-* customizable
Eshel Yaron [Sat, 27 Aug 2022 18:19:01 +0000 (21:19 +0300)]
ENHANCED: make the prompts used in sweep-find-* customizable

2 years agoFIXED: Use more robust Prolog to C string conversion
Eshel Yaron [Sat, 27 Aug 2022 17:57:16 +0000 (20:57 +0300)]
FIXED: Use more robust Prolog to C string conversion

2 years agoUse LD_PRELOAD for testing
Eshel Yaron [Sat, 27 Aug 2022 17:01:23 +0000 (20:01 +0300)]
Use LD_PRELOAD for testing

2 years agoRevert rpath tweaks
Eshel Yaron [Sat, 27 Aug 2022 16:54:39 +0000 (19:54 +0300)]
Revert rpath tweaks

2 years agoMore rpath tweaks
Eshel Yaron [Sat, 27 Aug 2022 16:31:16 +0000 (19:31 +0300)]
More rpath tweaks

2 years agoPORT: use rpath linker option
Eshel Yaron [Sat, 27 Aug 2022 16:09:05 +0000 (19:09 +0300)]
PORT: use rpath linker option

2 years agoFIXED: Makefile setting SOEXT to dylib on linux hosts
Eshel Yaron [Sat, 27 Aug 2022 15:57:27 +0000 (18:57 +0300)]
FIXED: Makefile setting SOEXT to dylib on linux hosts

2 years agoTEST: Add ERT based tests
Eshel Yaron [Sat, 27 Aug 2022 15:46:55 +0000 (18:46 +0300)]
TEST: Add ERT based tests

2 years agoPORT: don't use clang's -fdiagnostics-absolute-paths
Eshel Yaron [Sat, 27 Aug 2022 15:24:33 +0000 (18:24 +0300)]
PORT: don't use clang's -fdiagnostics-absolute-paths

2 years agoupdate .build.yml
Eshel Yaron [Sat, 27 Aug 2022 15:19:36 +0000 (18:19 +0300)]
update .build.yml

2 years agoBUILD: set locale for CI
Eshel Yaron [Sat, 27 Aug 2022 15:12:03 +0000 (18:12 +0300)]
BUILD: set locale for CI

2 years agoPORT: detect linux vs macOS shared object extension in Makefile
Eshel Yaron [Sat, 27 Aug 2022 14:37:24 +0000 (17:37 +0300)]
PORT: detect linux vs macOS shared object extension in Makefile

2 years agoDOC: fix typo
Eshel Yaron [Sat, 27 Aug 2022 13:49:22 +0000 (16:49 +0300)]
DOC: fix typo