From: Bennet Bleßmann Date: Wed, 30 Jul 2025 19:22:37 +0000 (+0200) Subject: fix arity of prcess_wait builtin errors X-Git-Tag: v0.10.0~35^2^2~4 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b2d639b159dd9bbda24896dce24231206f892700;p=scryer-prolog.git fix arity of prcess_wait builtin errors --- diff --git a/src/machine/system_calls.rs b/src/machine/system_calls.rs index 0fc6e35d..3f367a39 100644 --- a/src/machine/system_calls.rs +++ b/src/machine/system_calls.rs @@ -8654,7 +8654,7 @@ impl Machine { pub(crate) fn process_wait(&mut self) -> CallResult { fn stub_gen() -> Vec { - functor_stub(atom!("process_wait"), 2) + functor_stub(atom!("process_wait"), 3) } // Process diff --git a/tests/scryer/cli/src_tests/process.md b/tests/scryer/cli/src_tests/process.md index 39a955da..59e8de10 100644 --- a/tests/scryer/cli/src_tests/process.md +++ b/tests/scryer/cli/src_tests/process.md @@ -36,7 +36,7 @@ use_module(library(process)),process_create([],[],[stdin(invalid),process(P)]),p ```trycmd $ scryer-prolog -f --no-add-history -g 'use_module(library(process)), process_wait(50, _), halt' -use_module(library(process)),process_wait(50,_[..]),halt causes: error(type_error(process,50),process_wait/2) +use_module(library(process)),process_wait(50,_[..]),halt causes: error(type_error(process,50),process_wait/3) ``` @@ -54,6 +54,6 @@ use_module(library(process)),process_id(50,_[..]),halt causes: error(type_error( ```trycmd $ scryer-prolog -f --no-add-history -g 'use_module(library(process)), process_release(50), halt' -use_module(library(process)),process_release(50),halt causes: error(type_error(process,50),process_wait/2) +use_module(library(process)),process_release(50),halt causes: error(type_error(process,50),process_wait/3) ```