]> Repositorios git - scryer-prolog.git/commit
projects / scryer-prolog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c548b14) | patch
Fix bug in finding arity for verify attributes
authorbakaq <[email protected]>
Sat, 1 Feb 2025 18:53:15 +0000 (15:53 -0300)
committerbakaq <[email protected]>
Tue, 4 Feb 2025 07:11:11 +0000 (04:11 -0300)
commitb8ccebbf24d9f70da6a0e2cfae11fb6164f01aaa
tree1eb3eea3c4c506d3f530444d2b8323aaa98b815etree | snapshot
parentc548b14f5028c0e6601575ca4d3ac5bfa67663f4commit | diff
Fix bug in finding arity for verify attributes
src/machine/dispatch.rs diff | blob | history
tests/scryer/cli/issues/compilation_bug.in/a.pl [new file with mode: 0644] blob
tests/scryer/cli/issues/compilation_bug.in/b.pl [new file with mode: 0644] blob
tests/scryer/cli/issues/compilation_bug.in/c.pl [new file with mode: 0644] blob
tests/scryer/cli/issues/compilation_bug.stdin [new file with mode: 0644] blob
tests/scryer/cli/issues/compilation_bug.stdout [new file with mode: 0644] blob
tests/scryer/cli/issues/compilation_bug.toml [new file with mode: 0644] blob
FORK: A modern Prolog implementation written mostly in Rust