]> git.eshelyaron.com Git - sweep.git/commit
Fix extracting goals in right associative operator chains
authorEshel Yaron <me@eshelyaron.com>
Sun, 8 Oct 2023 10:13:38 +0000 (12:13 +0200)
committerEshel Yaron <me@eshelyaron.com>
Sun, 8 Oct 2023 10:13:38 +0000 (12:13 +0200)
commit6038bce54aba9f5669407af42c3a4a2cecac71b1
treed3564608470f605cf9d027a1e36e742bb092fc5d
parent6431074ee1a130d7bc63a6f2cce97ab704d41d58
Fix extracting goals in right associative operator chains

* sweep.pl (push_assoc_arg/9): New helper predicate.
(sweep_extract_goal_term/21): Recognize and correctly handle right
associative operator chains.
(sweep_extract_goal_update_clause_string/7): Fix handling of nested
disjunctions.
* sweeprolog-tests.el: Add more goal extraction tests.
* sweeprolog.el (sweeprolog-extract-region-to-predicate): Add missing
call to 'format'.
sweep.pl
sweeprolog-tests.el
sweeprolog.el