]> Repositorios git - scryer-prolog.git/commitdiff
add meta_predicate declaration for with_locals/2
authorSkgland <[email protected]>
Sun, 24 Aug 2025 18:25:41 +0000 (20:25 +0200)
committerBennet Bleßmann <[email protected]>
Sun, 24 Aug 2025 18:25:47 +0000 (20:25 +0200)
src/lib/ffi.pl

index 8bbc55ff3e8d05ee3cfad6155d96b437a21fe798..a03308a7879e8078a397370e36391c3a96ba2d2a 100644 (file)
@@ -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.