Aleksy Grabowski
6f0c7f42c6
Remove executable bit for files that don't need it
2024-09-06 08:06:10 +02:00
Aleksy Grabowski
7b09d447d6
Fix rustc warning
2024-09-06 08:06:10 +02:00
Mark Thom
12a61cdff8
Merge pull request #2491 from coasys/reqwest-version-relax
...
Relax version constraint on reqwest dependency
2024-08-29 12:22:46 -06:00
Nicolas Luck
808ea9fc79
Fix spelling of reqWest
...
Co-authored-by: Bennet Bleßmann <bennet.blessmann+github@googlemail.com >
2024-08-22 12:55:32 +02:00
Nicolas Luck
e1d830d680
Clean-up comment
2024-08-20 22:09:32 +02:00
Nicolas Luck
6be671d7d9
More precise comment mentioning Deno
...
Co-authored-by: Bennet Bleßmann <bennet.blessmann+github@googlemail.com >
2024-08-20 22:08:11 +02:00
Mark Thom
5c39e2a5a1
Merge pull request #2475 from bakaq/value_heap_walk
...
Value heap walk in lib_machine
2024-08-19 16:33:13 -06:00
bakaq
e24396d78a
Fix order of variables in bindings
2024-08-19 14:38:53 -03:00
Mark Thom
264e3e9dd6
Merge pull request #2474 from Skgland/fix-looping-memory-allocation
...
Fix looping memory allocation
2024-08-17 20:58:03 -06:00
Mark Thom
3f25ee3749
Merge pull request #2495 from Skgland/fix2467
...
fix looping from issue #2467
2024-08-17 20:56:23 -06:00
Bennet Bleßmann
c24a51b633
fix looping from issue 2467
2024-08-17 23:37:12 +02:00
Nicolas Luck
8925133f40
Explanatory comment for the wildcard patch version
2024-08-16 16:16:16 +02:00
Nicolas Luck
2faab30af9
Explanatory comment for the wildcard patch version
2024-08-16 16:15:10 +02:00
bakaq
c1b88cee99
Fix partial strings ending in lists
2024-08-16 08:11:11 -03:00
bakaq
8736526b35
Fix lists of chars as strings
2024-08-16 00:34:46 -03:00
bakaq
7afc08af47
Represent atom [] as empty list
2024-08-16 00:01:25 -03:00
bakaq
12aaae5fc0
Differentiate anonymous variables
2024-08-15 20:08:29 -03:00
Nicolas Luck
e0ec5e75b4
typo
2024-08-15 22:41:48 +02:00
Nicolas Luck
7092e278d7
Relax constraint on version of reqwest dependency (Cargo will pick the latest patch that's possible, but not fail if another dep. has it pinned to something below patch 27)
2024-08-15 22:40:35 +02:00
bakaq
82a7d7efbd
Value::from_heapcell() implemented with heap walk
2024-08-14 23:44:52 -03:00
bakaq
37a906cf37
Value::from_heapcell()
2024-08-14 23:44:52 -03:00
Mark Thom
bacfed8983
Merge pull request #2472 from bakaq/query_iterator
...
Add run_query_iter()
2024-08-14 20:26:03 -06:00
bakaq
ed1b25cb30
Tests for run_query_iter()
2024-08-14 20:02:03 -03:00
bakaq
bc262db6d7
Implement run_query() in terms of run_query_iter()
2024-08-14 19:59:42 -03:00
bakaq
86a2c5e2ed
Add run_query_iter()
2024-08-14 19:59:36 -03:00
Mark Thom
e77c97e0d1
Merge pull request #2482 from bakaq/flake
...
Add flake.nix
2024-08-14 06:36:16 -06:00
Mark Thom
48f3a7b87e
Merge pull request #2485 from aarroyoc/learn-pages-docs
...
Upgrade docs to DocLog 2.0. Includes a test learning page
2024-08-14 06:35:58 -06:00
Adrián Arroyo Calle
e5aaa9d277
Upgrade docs to DocLog 2.0. Includes a test learning page
2024-08-14 11:19:08 +02:00
bakaq
938401dbc6
flake.nix
2024-08-13 23:43:05 -03:00
Bennet Bleßmann
620bf385d1
include the type name for better pin-pointing of the error source
...
- only done here as all other places are non-generic and the panic already includes file and line info, only here are we in a generic context and might need more differentiation
2024-08-11 21:53:02 +02:00
Bennet Bleßmann
cc51b8150d
check whether (re-)allocation succeeded
...
fixes mthom/scryer-prolog#2449
2024-08-11 19:20:33 +02:00
Bennet Bleßmann
775b14c537
add detail to comment
2024-08-11 19:20:27 +02:00
Mark Thom
7cfe8ee55c
Merge pull request #2463 from Skgland/split-up-inconsitent-entry-error
...
Split up inconsistent entry error
2024-08-05 14:25:33 -06:00
Bennet Bleßmann
058b9c5e51
switch invalid term from type to domain error
2024-08-05 21:25:44 +02:00
Bennet Bleßmann
deed6fb984
fix remaining use of declaration instead of directive
2024-08-05 21:25:43 +02:00
Bennet Bleßmann
2d04c0dcf8
remove obsolete ExistenceError::Declaration
2024-08-05 21:25:43 +02:00
Bennet Bleßmann
5a0abd713e
change declaration to directive
2024-08-05 21:25:43 +02:00
Bennet Bleßmann
df33da111e
ajust/add devlaration errors to be more standard compliant
2024-08-05 21:25:43 +02:00
Bennet Bleßmann
17a816eff4
impl PartialEq<str> and PartialEq<&str> for Atom
2024-08-05 21:25:42 +02:00
Bennet Bleßmann
880e22d164
adjust errors to be more standard compliant
2024-08-05 21:25:42 +02:00
Bennet Bleßmann
c16d2d4147
fix compilation for 1.77
2024-08-05 21:25:42 +02:00
Bennet Bleßmann
59af900aaf
split up CompilationError::InconsistentEntry
2024-08-05 21:25:42 +02:00
Bennet Bleßmann
add03cb4ee
add test for declaration errors
2024-08-05 21:25:42 +02:00
Bennet Bleßmann
409f56ea37
use an enum for OpDesc spec
2024-08-05 21:25:36 +02:00
Mark Thom
2814d79b56
Merge pull request #2466 from Skgland/upgrade-deps
...
Upgrade dependencies
2024-08-05 12:59:42 -06:00
Bennet Bleßmann
4009b40029
replace derive_deref with derive_more
...
- the latter already used in our transitive dependencies
- derive_more appears better maintained
2024-08-04 02:40:26 +02:00
Bennet Bleßmann
260c52adec
replace select by scrape
...
- the latter appears better maintained and more up to date
- removes some dupplicate/outdated transitive deps
2024-08-04 02:35:36 +02:00
Bennet Bleßmann
b1f057b67d
resolve problems from deps upgrade
...
- downgrade reqwest to 0.11.27
- fixes problems with missmatched transitive dependencies between it and warp, mainly http
- replace deprecated ripemd160 with ripemd (as specified in the formers readme)
- indexmap: replace deprecated remove with functionally identical swap_remove
2024-08-04 01:57:25 +02:00
Bennet Bleßmann
177bc16255
update/upgrade dependencies
2024-08-04 01:41:03 +02:00
Mark Thom
4ce4cd1bc1
Merge pull request #2462 from Skgland/fix-segfault
...
fix segfault by dropping loader state payload after resetting machine
2024-08-03 14:05:13 -06:00
