Merge pull request #3241 from Skgland/parse-error-improvements

change `ParserError` type

Merge pull request #3189 from Skgland/fix-function_casts_as_integer

fix `function_casts_as_integer` warning

Merge pull request #3260 from thierrymarianne/dealing-with-invalid-utf8-string

handle invalid UTF-8 string

add documentation

Signed-off-by: Thierry Marianne <[email protected]>

revise indentation of raw string

Signed-off-by: Thierry Marianne <[email protected]>

use C-string literal

Co-authored-by: Bennet Bleßmann <[email protected]>

cargo fmt fixes

Signed-off-by: Thierry Marianne <[email protected]>

apply suggestion

Signed-off-by: Thierry Marianne <[email protected]>

move test to tests/scryer/ffi.rs

Signed-off-by: Thierry Marianne <[email protected]>

use CStr .to_str() method

Co-authored-by: Bennet Bleßmann <[email protected]>

use C-string literal

Co-authored-by: Bennet Bleßmann <[email protected]>

fix utf-8 panic

Signed-off-by: Thierry Marianne <[email protected]>

add failing test highlighting panic on invalid UTF-8 cstr

Signed-off-by: Thierry Marianne <[email protected]>

reduce visibility to pub(crate) to prevent accidentally exposing

fix some lint warnings

don't expose lexical error and provide location

make ParserError a struct with an enum kind field

add location to InvalidSingleQuotedCharacter

make match exhaustive

replace pairs of usize with location struct

Merge pull request #3211 from mthom/setof_correction_and_opt

Correct and optimize setof/3 and bagof/3

remove unnecessary extra work in findall_with_existential/5

remove hashbrown crate

replace sort_without_dedup/2 with keysort/2

cargo fmt fixes

remove variant_hashing.rs and related instructions

find variant terms using just sort/2 and (==)/2

do not retain attributes in solutions of findall (#3020)

fix cargo fmt

add variant_hash and is_non_variant to fix setof/3, bagof/3

replace compare_term_test with parallel iterator, add is_not_variant

use branch numbers to detect branch subsumption

assert rational(3) as true in tests/builtins.pl

Merge pull request #3222 from Skgland/reduce-instructions_template

move static parts of instructions template directly into instructions module, fix clippy and typos

run rustfmt to fix formatting

restore accidentally removed comment

fix spelling

fix clippy lints

extaract the static part of the instructions template directly into the instructions module

This way goto source doesn't end up in a generated file for those parts and they can be edited directly.
I have way too often accidentally edited the generated file.

Merge pull request #3207 from Skgland/quote-fix-unquote-segv

"fix" segv from #3198, #3199, and #3205

throw `error(resource_error(memory), [])` when the list length exceeds usize.

Merge pull request #3177 from triska/use_phrase_to_file

use more recently available phrase_[to|from]_file/3 in example

remove overengineered RecursionGuard

fix another integer overflow

don't calculate panic message eagerly

handle overflown in Heap::with_cell_capacity

handle oob heap index calculation

use checked multiplication in heap_index! macro

prevent multiply with overflow resulting in odd errors/segv

detect recursive throw_resource_error and panic instead of causing a segmentation fault

deny `function_casts_as_integer` warnings

fix `function_casts_as_integer` warning

Comparing addresses of function pointers is brittle.

Functions may be duplicated resulting in function pointers to the same function to compare !=.
Functions may be merged/de-duplicated resulting in function pointers to different function to compare ==.

The later shouldn't be relevant here as the function differ in behavior, but mentioning it for completeness.

fix backtrack_on_resource_error around choice instructions

Merge pull request #3185 from mthom/install_verify_attr_opt

Optimize `verify_attr` by removing the need to scan instructions

Merge pull request #3164 from Skgland/alloc_errors2

handle machine heap/stack allocation error

Merge pull request #3147 from jjtolton/error-termination-flag

Add -t flag for custom toplevel (replaces --halt-on-error)

Merge pull request #3179 from triska/meetups

update meetups

Merge pull request #3180 from triska/foldl_6

ADDED: foldl/6, addressing #2973

corrections to arithmetic expression compilation

corrections to dispatch loop

revise InstallVerifyAttrs to remove need for predicate scanning (#3175)

remove interms field from MachineState

ADDED: foldl/6, addressing #2973

update meetups

use more recently available phrase_[to|from]_file/3 in example

fix pstr_iter_tests test

remove RESOURCE_ERROR_OFFSET_INIT

With it when using multiple Machine in one process only the first would store the pre-allocated error.
Instead Heap.resource_err_loc is now Option<NonZero<usize>> instead of usize using None for uninitialized.
The cell at index 0 should alredy be used by a runtime reserved interstitial cell that is allocated prior. So requiring the offset to be non zero should be fine.

fix unecessary parens in macro

return an AllocError instead of panicing in Heap::with_cell_capacity

wrap resource_error into an error/2 functor and don't wrap it into a syntax_error functor

propagate AllocErrro instead of unwrapping

handle machine heap/stack allocation error

stub a clippy config

with things we need to get rid of replace if we want to eliminate panics due to oom

use as_bytes().to_vec() instead of bytes().collect()

copying a slice into a vec should be easier to optimize by the complier than collecting a byte iteration into a vec

remove some uncessary allocations/copies

ignore incompatible msrv in compat module

improve count_to_letter_code

- reserve the complete required length at the beginning to reduce reallocations
- use u8 instead of char so that we can re-use the allocation for the string

ignore unused_parens warning

parens are generated by external macro

remove two unecessary clones

Fix -t flag help text to reflect it accepts any goal

The -t flag is not limited to arity 0 predicates - it accepts any
goal including goals with arguments (e.g., -t 'halt(1)'). Updated
the help text to remove the incorrect "(arity 0 predicate)" constraint.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude <[email protected]>

Move -t and -g flags before filenames in tests

Per maintainer feedback, switches must come before files to follow
the convention: switches before files are Scryer-specific, switches
after files are application-specific.

Remove redundant unit test file

The custom_toplevel.pl unit tests were trivial and didn't actually test
the functionality. All real testing is done via comprehensive CLI tests
in tests/scryer/cli/src_tests/custom_toplevel.md

Move g_caused_exception/2 dynamic directive to toplevel.pl

- Add dynamic directive in toplevel.pl with other module-level directives
- Update test files to reference it as '':g_caused_exception/2
- Remove redundant dynamic directives from test files
- All tests passing

Update tests to use format/2 instead of write/1

Add comprehensive tests for g_caused_exception/2

Following TESTING_GUIDE.md, added tests at layers 2 and 3:

Layer 2 - Prolog Integration Tests (src/tests/custom_toplevel.pl):
- Test that g_caused_exception/2 is not asserted when no exception occurs
- Test that g_caused_exception/2 can be checked from custom toplevel
- Added check_for_exception/0 helper predicate for testing

Layer 3 - CLI Tests (tests/scryer/cli/src_tests/custom_toplevel.md):
- Test g_caused_exception/2 with exception thrown
- Test g_caused_exception/2 with no exception
- Test g_caused_exception/2 with error/2 terms
- Added test helper predicates in fixtures/toplevel_test_helper.pl

All tests pass successfully.

Co-Authored-By: J.J.'s Robot <[email protected]>

Add g_caused_exception/2 for custom toplevel error handling

When a goal throws an exception during initialization (-g flag), the
system now asserts g_caused_exception(Goal, Exception) in the user
module. This allows custom toplevels (-t flag) to check if an error
occurred and handle it appropriately.

Example usage:
  scryer-prolog -g "throw(error)" -t check_error

Where check_error can be:
  :- dynamic(g_caused_exception/2).

  check_error :-
      (   g_caused_exception(_, E) ->
          write('Error: '), write(E), nl, halt(1)
      ;   halt(0)
      ).

This enables scripts to use custom toplevels for sophisticated error
handling and exit code logic.

Addresses: https://github.com/mthom/scryer-prolog/pull/3147#issuecomment-3503875719

Co-Authored-By: J.J.'s Robot <[email protected]>

Fix bug where -t argument was processed as filename

Fixed issue where `scryer-prolog -t halt` would try to load "halt.pl"
as a file instead of just using halt as the custom toplevel.

The bug was caused by an extra clause `delegate_task([], []).` that
would return control to the calling context instead of continuing to
start_toplevel. This caused the argument processing in delegate_task
to continue and treat the already-consumed toplevel argument as a
filename.

Removing this clause ensures that delegate_task([], Goals0) always
proceeds to load initialization files and start the toplevel, fixing
the double-processing bug.

Co-Authored-By: J.J.'s Robot <[email protected]>

Add comprehensive tests for -t custom toplevel flag

- Create Prolog integration tests in src/tests/custom_toplevel.pl
- Add CLI test configuration in tests/scryer/cli/src_tests/custom_toplevel_tests.toml
- Tests verify:
  * -t halt terminates after initialization
  * Custom toplevels can be user-defined predicates
  * Toplevel receives control after initialization completes
  * Default behavior is REPL when no -t specified
- All tests pass successfully

Following TESTING_GUIDE.md three-layer testing approach:
- Layer 2: Prolog integration tests with test_framework
- Layer 3: CLI snapshot tests with .toml configuration

Co-Authored-By: J.J.'s Robot <[email protected]>

-t custom toplevel option

- Add -t FLAG to specify custom toplevel (arity 0 predicate)
- Default toplevel is 'repl' if -t is not specified
- Using `-t halt` achieves original goal of guaranteed termination
- Custom toplevels enable flexible exit strategies (e.g., server mode)
- Update help text to document -t flag

Examples:
  scryer-prolog -t halt program.pl    # Exits after execution
  scryer-prolog -t my_repl program.pl # Custom REPL
  scryer-prolog program.pl            # Default REPL

Co-Authored-By: J.J.'s Robot <[email protected]>

Merge pull request #3120 from aarroyoc/master

Delete test page from learning section

Merge pull request #3124 from bakaq/mark-partial-string-tail

Fix marking of partial string tail in iteration

Merge pull request #3117 from aarroyoc/update-releases-0100

Update web to show 0.10.0 releases

Fix marking of partial string tail in iteration

Delete test page from learning section

Update web to show 0.10.0 releases

Merge pull request #3108 from Skgland/issue-3073

emit a more appropriate error when passing the wrong argument count when constructing an ffi struct with the wrong argument count

Merge pull request #3111 from Skgland/ffi-non-fixed-sized-integers

add support for non-fixed-width integers types for ffi

Merge pull request #3109 from Skgland/issue-3107

move CI  job release from retired ubuntu-20.04 image to ubuntu-22.04

update documentation

consistently treat bool as i8