rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

require array_length to be > 0

Browse Source 
C does not have 0-sized types
This commit is contained in:
Skgland
2025-08-09 18:40:57 +02:00
committed by Bennet Bleßmann
parent 4b5e4a2745
commit edd6d44bd6
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/lib/ffi.pl
View File

@@ -132,6 +132,7 @@ deallocate(Allocator, Type, Ptr) :-
:- dynamic(is_array_type_defined/1). :- dynamic(is_array_type_defined/1).
array_type(ElemType, Len, ArrayType) :- array_type(ElemType, Len, ArrayType) :-
(Len =< 0 -> domain_error(greater_than_zero, Len, array_type/3); true),
phrase(format_("$[~a;~d]", [ElemType, Len]), ArrayTypeName), phrase(format_("$[~a;~d]", [ElemType, Len]), ArrayTypeName),
atom_chars(ArrayType, ArrayTypeName), atom_chars(ArrayType, ArrayTypeName),
(is_array_type_defined(ArrayType) -> true (is_array_type_defined(ArrayType) -> true