From: Markus Triska <triska@metalevel.at>
Date: Mon, 18 Mar 2024 20:35:12 +0000 (+0100)
Subject: strengthen type check
X-Git-Tag: v0.10.0~150^2~3
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=8af29c200d504ea977692c1c269915d32f0162b2;p=scryer-prolog.git

strengthen type check
---

diff --git a/src/lib/format.pl b/src/lib/format.pl
index 82d96701..2478e371 100644
--- a/src/lib/format.pl
+++ b/src/lib/format.pl
@@ -88,7 +88,7 @@ format_(Fs, Args) -->
         format_cells(Cells).
 
 format_args_cells(Fs, Args, Cells) :-
-        must_be(list, Fs),
+        must_be(chars, Fs),
         must_be(list, Args),
         unique_variable_names(Args, VNs),
         phrase(cells(Fs,Args,0,[],VNs), Cells).