From: Skgland <bennet.blessmann+github@googlemail.com>
Date: Sun, 24 Aug 2025 18:25:41 +0000 (+0200)
Subject: add meta_predicate declaration for with_locals/2
X-Git-Tag: v0.10.0~11^2~6
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=1f7a60dec91fa499eb7b8e8c2a94e83a87387bb5;p=scryer-prolog.git

add meta_predicate declaration for with_locals/2
---

diff --git a/src/lib/ffi.pl b/src/lib/ffi.pl
index 8bbc55ff..a03308a7 100644
--- a/src/lib/ffi.pl
+++ b/src/lib/ffi.pl
@@ -177,6 +177,8 @@ array_type(ElemType, Len, ArrayType) :-
         assertz(is_array_type_defined(ArrayType))
     ).
 
+:- meta_predicate(with_locals(?, 0)).
+
 %% with_locals(+Locals, :Goal)
 %
 %  Allocate the Locals, evaluate the Goal and deallocate the Locals.