]> Repositorios git - scryer-prolog.git/commitdiff
strengthen type check
authorMarkus Triska <[email protected]>
Mon, 18 Mar 2024 20:35:12 +0000 (21:35 +0100)
committerMarkus Triska <[email protected]>
Wed, 20 Mar 2024 20:10:10 +0000 (21:10 +0100)
src/lib/format.pl

index 82d96701ef493b05fa35b25b1f3c860f00396991..2478e3710c56dcee010a747621d44bbc9d666aee 100644 (file)
@@ -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).