]> git.eshelyaron.com Git - sweep.git/commit
FIXED: exporting predicates in presence of exported operators
authorEshel Yaron <me@eshelyaron.com>
Sat, 19 Nov 2022 16:38:32 +0000 (18:38 +0200)
committerEshel Yaron <me@eshelyaron.com>
Sat, 19 Nov 2022 16:38:32 +0000 (18:38 +0200)
commit81338214994998e125b09abf8dbbae05dad53761
tree786d82b6438fab54f0b3b32a15618de650629381
parentc4efb5ea1980d11207382b1722abb28c4e8edbd2
FIXED: exporting predicates in presence of exported operators

* sweep.pl (sweep_exportable_predicates/2): new predicate.
* sweeprolog.el (sweeprolog--module-term)
(sweeprolog--exportable-predicates)
(sweeprolog-analyze-start-exportable)
(sweeprolog-analyze-fragment-exportable): no longer used, deleted.
(sweeprolog-exportable-predicates): new function.
(sweeprolog-read-exportable-predicate): use it.
(sweeprolog-export-predicate): handle exported operators.
sweep.pl
sweeprolog-tests.el
sweeprolog.el