Bennet Bleßmann
9cccd509e3
no longer skip f32 and f64 now that they work consistently
2025-08-01 19:11:02 +02:00
Bennet Bleßmann
6205f2f1f1
add a simple ffi test using structs
2025-08-01 19:08:32 +02:00
Bennet Bleßmann
760e1d2aac
fix UB in ffi tests
2025-08-01 19:08:24 +02:00
Bennet Bleßmann
e1246f0c83
add new test helper
2025-08-01 19:08:02 +02:00
Bennet Bleßmann
bd1f8bb37e
make ffi support full {i,u}64 range
2025-08-01 19:07:07 +02:00
Bennet Bleßmann
620459ea1e
fix {i,u}64 in ffi
2025-08-01 18:37:48 +02:00
Bennet Bleßmann
d2502b0520
fix all but {i,u}64
2025-08-01 18:37:35 +02:00
Bennet Bleßmann
34eab2e73a
fix crash when trying to load and ffi library with an invalid type specification
2025-08-01 18:22:15 +02:00
Bennet Bleßmann
db3f2717bc
add more ffi tests
2025-08-01 18:22:14 +02:00
Bennet Bleßmann
7227e1d97c
cleanup and fix miri & cross-compile
2025-08-01 18:22:13 +02:00
Bennet Bleßmann
9d8906da30
add ffi tests using f64
2025-08-01 18:22:01 +02:00
Bennet Bleßmann
725def07cd
fix crash when loading html
2025-07-07 22:39:47 -07:00
Mark Thom
9e1e99f961
Revert "remove Term"
...
This reverts commit 3b5879841aedecba5057c70c71da0ba23e5cd84a.
2025-07-07 22:38:10 -07:00
Mark Thom
1ef681bd21
remove Term
2025-07-07 21:54:08 -07:00
revue_2_presse
5d468d3e19
Replace futures::executor::block_on with tokio::block_in_place
2025-02-25 20:31:19 +01:00
Mark Thom
c77ea48fbd
Merge pull request #2804 from dnmfarrell/line-count-off-by-one
...
Line numbers start at 1
2025-02-12 23:23:44 -08:00
Mark Thom
35c1880937
Merge pull request #2818 from adri326/stream-cleanup
...
Fix various issues around close/1 and stream realiasing
2025-02-12 23:23:11 -08:00
Emilie Burgun
2a218f34b9
Test corner cases of stream aliasing
2025-02-06 23:47:22 +01:00
bakaq
b8ccebbf24
Fix bug in finding arity for verify attributes
2025-02-04 04:11:11 -03:00
David Farrell
f509d3d66f
Line numbers start at 1
...
Bumps the line number for the singleton warning. When the singleton
occurs on the same line at the term starts, the line number is correct:
foo(X).
However it stills mis-reports this line number as 1 instead of 5:
foo(1) :-
true,
true,
true,
Y.
See issue #1356 .
2025-02-02 08:16:05 -05:00
Mark Thom
5a869e8b48
Merge pull request #2777 from adri326/fix-2772-rnd_i-clipping
...
Fix invalid casts in is/2
2025-01-26 23:14:57 -07:00
Emilie Burgun
0cde8f9a43
Add integration tests for arithmetic operators
...
This extensively tests the behavior of is/2, both when compiled and in metacalls.
2025-01-27 00:10:56 +01:00
Emilie Burgun
b76bdd75e4
Fix #2725 by calling load_context/1 in the unspecified branch of strip_module/3
...
This fixes #2725 , by making it so that `strip_module(Pred, M, P), call(M:P)`
doesn't throw an `instanciation_error` when `Pred` isn't in the form `module:predicate`.
Now, `strip_module(hello, M, P)` will call `load_context(M)`, which unifies `M`
with the topmost module (or `user`).
Two new test cases are added: issue2725.pl, which tests the minimal case id(X) --> X.
and the strip_module(P, M, _), call(M:P) scenario, and module_resolution,
which tests the behavior of strip_module in a few scenarios.
2025-01-12 14:08:28 +01:00
Emilie Burgun
eff094cc29
Add tests for PR #2756
2025-01-08 17:57:40 +01:00
Mark Thom
d57f871a12
Merge pull request #2681 from hurufu/remove-dcgs-that-have-failed-to-expand
...
Remove DCGs that have thrown an exception during term expansion
2024-12-25 14:29:38 -07:00
Aleksy Grabowski
a599a11169
Remove DCGs that have thrown an exception during term expansion
...
Some DCG constructs aren't supported and can't be expanded, here we
remove offending DCG rule and don't compile it at all – in a similar
fashion to what we do when incorrect goal was found – whole predicate
isn't getting compiled.
Fixes #2675
2024-12-22 10:37:32 +01:00
bakaq
e21c772181
Migrate tests to new API
2024-12-08 20:18:06 -03:00
Bennet Bleßmann
6dd0ec0b98
fix miri
2024-10-04 20:25:02 +02:00
Bennet Bleßmann
8f41c1aa7e
Merge remote-tracking branch 'upstream/master' into issue-2588
2024-10-04 19:11:26 +02:00
Bennet Bleßmann
442636c131
add test for load_html
2024-10-04 19:09:35 +02:00
bakaq
806e980cca
Be conservative with visibility
2024-09-03 01:02:01 -03:00
Bennet Bleßmann
c24a51b633
fix looping from issue 2467
2024-08-17 23:37:12 +02:00
Bennet Bleßmann
058b9c5e51
switch invalid term from type to domain error
2024-08-05 21:25:44 +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
880e22d164
adjust errors to be more standard compliant
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
b32498b37c
adjust ignore reason
2024-07-06 18:24:38 +02:00
Bennet Bleßmann
33793193cc
add miri to CI
2024-07-06 15:46:04 +02:00
Bennet Bleßmann
fcb41542c3
fix stream.rs UB
2024-07-06 14:30:03 +02:00
Mark Thom
9837187183
add nth_partial_strings_tests for bugs raised in #1827 , #2381
2024-04-10 15:50:24 -06:00
Mark Thom
c2657cce37
use common test_framework module for several test suites
2024-04-10 15:47:31 -06:00
Mark
0292cb73d3
expand_call_goals/3 should expand meta-predicate subgoals ( #2361 )
2024-03-19 17:12:26 -06:00
Bennet Bleßmann
e5ad70c093
fix compilation of wasm32 test and skip to run wasm32 tests
2024-02-16 23:18:21 +01:00
Adrián Arroyo Calle
ec4a8745e7
Add all_mdoules test and fix library(csv)
2024-02-04 21:34:01 +01:00
Mark
673329ddb7
fix reverted tests, ensure files are loaded before goals ( #2315 )
2024-02-03 11:49:26 -07:00
Mark
6a421dd8b0
fix broken tests
2024-02-02 17:04:47 -07:00
Mark
bc616ca7d8
move call_residue_vars/2 from atts.pl to iso_ext.pl
2024-01-25 12:40:24 -07:00
bakaq
f02c0eacd8
Make "cargo miri test" actually run
2024-01-09 04:38:53 -03:00
