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

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

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

Address several comments by @triska

library(numerics), special funs from crate puruspe

Merge pull request #2746 from triska/quads

preliminary support for a subset of quads introduced by @UWN

ADDED: resource_error/1

ADDED: representation_error/1

ADDED: variants of errors promoting call_with_error_context/2

A good example of call_with_error_context/2 was recently provided by
@Skgland in d907f86c8d3bf5b5429c9f53187b65473fcbfce0. Many thanks!

Merge pull request #3024 from triska/remove_operator_meta_predicate

ISO: remove nonstandard operator meta_predicate.

Merge pull request #3026 from triska/DEDUCTION

mention the DEDUCTION Programme

Merge pull request #3029 from triska/process_item

add newly available library(process) to the list of libraries

allow passing a null through a cstr arg/return

fix clippy lint warning

support newly added representation_error/1 in answer descriptions

preliminary support for a subset of quads introduced by @UWN

This lets us embed toplevel interactions in Prolog programs.
Embedded toplevel interactions are currently ignored.

Example:

   :- use_module(library(lists)).

   ?- member(X, "abc").
      X = a
   ;  X = b
   ;  X = c.

add newly available library(process) to the list of libraries

Thank you a lot @Skgland for this extremely valuable contribution!

mention the DEDUCTION Programme