From: Skgland Date: Sat, 27 Sep 2025 21:14:14 +0000 (+0200) Subject: fixup quad X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2443af57d0ff43b8062f8eab14cc1be31a794848;p=scryer-prolog.git fixup quad --- diff --git a/tests/scryer/cli/issues/ffi_alloc_mismatched_args.in/input.pl b/tests/scryer/cli/issues/ffi_alloc_mismatched_args.in/input.pl index 0e68f569..5b0ef363 100644 --- a/tests/scryer/cli/issues/ffi_alloc_mismatched_args.in/input.pl +++ b/tests/scryer/cli/issues/ffi_alloc_mismatched_args.in/input.pl @@ -4,4 +4,4 @@ test :- ffi:array_type(u8, 2, Type), ffi:allocate(rust, Type, [Type, 0], _ArrayPtr). ?- test. - error(system_error,'$ffi_allocate'/4). \ No newline at end of file + error(existence_error(ffi_struct_constructor,$[u8;2]/1),$ffi_allocate/4). \ No newline at end of file