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

strengthen type check

Browse Source
This commit is contained in:
Markus Triska
2024-03-18 21:35:12 +01:00
parent 1db6bff890
commit 8af29c200d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/lib/format.pl
View File

@@ -88,7 +88,7 @@ format_(Fs, Args) -->
format_cells(Cells). format_cells(Cells).
format_args_cells(Fs, Args, Cells) :- format_args_cells(Fs, Args, Cells) :-
must_be(list, Fs), must_be(chars, Fs),
must_be(list, Args), must_be(list, Args),
unique_variable_names(Args, VNs), unique_variable_names(Args, VNs),
phrase(cells(Fs,Args,0,[],VNs), Cells). phrase(cells(Fs,Args,0,[],VNs), Cells).