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]>

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

add ffi types for non-fixed-sized integers

fix missing quotes

fixup quad

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

the new image is the same as all other ubuntu jobs

fix mthom/scryer-prolog#3073

add regression test for issue 3073

version bump to 0.10.0

Merge pull request #3095 from thierrymarianne/derefering-registers-in-files-module-instructions-functions

Dereferencing registers in `files` module instructions functions

run rustfmt

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

dereferencing registers to access stack variables

deref register to access stack variable for `directory_exists/1`
deref register to access stack variable for `directory_files/2`
deref register to access stack variable for `delete_directory/1`
deref register to access stack variable for `delete_file/1`
deref registers to access stack variable for `file_copy/2`
deref register to access stack variable for `file_exists/1`
deref register to access stack variable for `file_size/2`
deref register to access stack variable from `file_time` function
deref register to access stack variable for `make_directory/1`
deref register to access stack variable for `make_directory_path/1`
deref register to access stack variable for `path_canonical/2`
deref registers to access stack variables for `rename_file/2`

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

add tests for `file` module predicates

reproduce failing `directory_exists/1` with working directory passed as first argument
reproduce failing `delete_directory/1` with ./test directory passed as first argument
reproduce failing `file_size/1` with 2 bytes files passed as first argument
reproduce failing `file_exists/1` with existing file passed as first argument
reproduce failing `file_modification_time/1`, `file_access_time/1` and `file_creation_time/1` with existing file passed as first argument
reproduce failing `directory_files/2` with existing directory passed as first argument
reproduce failing `delete_file/1` with existing file passed as first argument
reproduce failing `make_directory/1` with non-existing directory passed as first argument
reproduce failing `make_directory_path/1` with non-existing path passed as first argument
reproduce failing `path_canonical/2` with non-canonical path passed as first argument
reproduce failing `rename_file/2` with existing file passed as first argument, target file as second arg
revised `directory_exists/1` test case
renamed test files, test directories
use `path_segments/2`, remove path separators
do not write file size to current output
revised `directory_files/2` test
revised `path_canonical/2` test
revised `file_exists/1` test
removed hardcoded expected size
extracted hardcoded directory argument
remove path prefix containing path separator
revised expected ls cmd exit code so that it is platform-agnostic

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

Merge pull request #3084 from thierrymarianne/set_stream

Prevent top-level from panicking when calling  `set_input/1` with `Stream` variants.

add missing P increment to GetPartialString (#3089)

push cyclic pstr's tail to iterator stack of printer (#3086)

fix attempted bind to bound StackVar (#3089)

do not use self.fail in compare_term_test

implement unify_ginteger to address FIXME in skip_max_list_cycle

fix off-by-one lam loop (#3081)

handle `Stream` variants qualified as input stream by `is_input_stream`

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

throw permission_error when non-input stream is read

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

merge if let, match structures

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

match against `Stream` `HttpRead()`, `InputFile(_)` and `NamedTcp(_)` variants in read_term_from_user_input

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

do not reset user input `Stream` of kind different from `Readline(_)`, `Byte(_)`

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

handle named tcp and http read stream on term reading from user input

handle input file stream on term reading from user input

reproduce panick originating in set_input/1 call from top-level

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

add FIXME for (presently inert & never invoked) race condition

fix f64 indexing, introduce bespoke F64Table type (#3065)

Merge pull request #3063 from Skgland/ffi++

ffi API extension and fixes

allow 3rd argument of ffi:read_ptr to not be a variable

Merge pull request #3059 from pmikkelsen/raw-input

Don't use "readline" input functionality for certain builtins

export array_type/3

fix left over todo

cleanup ffi error handling and use Atom instead of &str in appropriate places

Style tweak

use representation_error rather than resource_error

fix builds without ffi feature

add meta_predicate declaration for with_locals/2

add documentation

run rustfmt

fix define_foreign_struct

make ffi error structure not found point to the correct culprit

fix map_ffi_arg

make map_ffi_args a method and throw an instantiation error when encountering a variable

don't crash on empty list and differentiate list head not being string like

use setup_call_cleanup/3 for with_locals

as suggested by triska

add a test for with_locals

include a culprit in ffi_error

fix with_locals

require array_length to be > 0

C does not have 0-sized types

fix some things in ffi.pl

thanks triska for pointing out most of these

add ffi helpers

don't place allocate, read_ptr and deallocate between use_foreign_module and its helper predicates

add ffi:{allocate,read_ptr,deallocate}

don't fail the build script if we couldn't parse a file

this way we get to the actual compilation in which rustc shouldl fail with a more helpfull error message

Update src/read.rs

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

very small cargo fmt

clear rustc warnings (#3051)

make max_depth checking in heap_print.rs consistent across atomics

some max_depth improvements (#1876, #2666, #3008, #3027)

further improvements to cyclic partial list printing (#2635)

improve printer's handling of cyclic lists (#2111, #2635)

Don't use "readline" input functionality for the following builtins:

* peek_byte
* peek_char
* peek_code
* get_byte
* get_char
* get_code
* get_n_chars

Merge pull request #3056 from Skgland/fix-msrv

Fix msrv

fix cyclic detection of partial strings in StackfulPreOrderHeapIter (#3050)

Use from_str_radix for BigInt in parse_integer_by_radix (#3025, #3033)

make CI read msrv from Cargo.toml

instead of hardcoding it, so we have a single source of truth

reduce msrv back to 1.85

Merge pull request #3055 from Skgland/build-debs

use cargo-deb in CI to build debian deb packages

fixup logtalk-test

explicitly pass the target to cargo-deb

fix paths

Merge pull request #3053 from Skgland/add-test-for-issue-3048

add tests for issue 3048

build debian packages on linux targets

add tests for issue 3048

clear pdl after comparing partial strings (#3048)

check for stack variables in ground_test before iterating (#3048)

small tweak for read_from_term performance (#2668)

deref terms in read_from_term (#2668)

Merge pull request #3042 from dcnorris/numerics

library(numerics), special funs from crate puruspe

Add README entry for numerics/special_functions

Drop 2 extra lines flagged by 'cargo fmt'

Address CI style complaints

Merge pull request #2786 from Skgland/ffi-f64-tests

add ffi tests & fix ffi

Merge pull request #3023 from triska/promote_call_with_error_context

ADDED: variants of errors promoting call_with_error_context/2