]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff03432) | patch
Remove DCGs that have thrown an exception during term expansion
authorAleksy Grabowski <[email protected]>
Thu, 5 Dec 2024 10:15:42 +0000 (11:15 +0100)
committerAleks Grabowski <[email protected]>
Sun, 22 Dec 2024 09:37:32 +0000 (10:37 +0100)
commita599a11169fc7570d108b2d6577aafe19c66a76b
treea2b020828e72c9a6595d021a7845c604313ef3e7tree | snapshot
parentff03432624195b3530c8fe8d99f19dc6d988ad64commit | diff
Remove DCGs that have thrown an exception during term expansion

Some DCG constructs aren't supported and can't be expanded, here we
remove offending DCG rule and don't compile it at all – in a similar
fashion to what we do when incorrect goal was found – whole predicate
isn't getting compiled.

Fixes #2675
src/lib/dcgs.pl diff | blob | history
tests/scryer/cli/issues/not_supported_dcg_constructs.in/main.pl [new file with mode: 0644] blob
tests/scryer/cli/issues/not_supported_dcg_constructs.stderr [new file with mode: 0644] blob
tests/scryer/cli/issues/not_supported_dcg_constructs.stdout [new file with mode: 0644] blob
tests/scryer/cli/issues/not_supported_dcg_constructs.toml [new file with mode: 0644] blob
FORK: A modern Prolog implementation written mostly in Rust