]> git.eshelyaron.com Git - sweep.git/commit
ENHANCED: Export DCG non-terminals as 'foo//N', not 'foo/N+2'
authorEshel Yaron <me@eshelyaron.com>
Tue, 6 Jun 2023 05:17:33 +0000 (08:17 +0300)
committerEshel Yaron <me@eshelyaron.com>
Tue, 6 Jun 2023 05:17:33 +0000 (08:17 +0300)
commit62fe11b8abed4d1eac05d35180426b187f0e8975
tree0e05977c2c10360087ebc3b4d713ce16f6997384
parentcd6b743a544ae273111f996796678fbe514a4d8a
ENHANCED: Export DCG non-terminals as 'foo//N', not 'foo/N+2'

* sweep.pl (strip_det/2): Handle DCG non-terminals with determinism
specification.
(sweep_local_predicate_export_comment/2, sweep_exportable_predicates/2)
* sweeprolog.el (sweeprolog-local-export-comment)
(sweeprolog-local-export-comment): Adapt for DCG non-terminals.
sweep.pl
sweeprolog.el