From: Markus Triska <triska@metalevel.at>
Date: Sun, 7 Jun 2020 21:04:42 +0000 (+0200)
Subject: better domain error in format_//2
X-Git-Tag: v0.8.127~52^2~2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=c8a9f8dcf584454f78edb409f53dc661fef11af5;p=scryer-prolog.git

better domain error in format_//2

Example:

    ?- format("", [hello]).
    caught: error(domain_error(empty_list,[hello]),format_//2)
---

diff --git a/src/prolog/lib/format.pl b/src/prolog/lib/format.pl
index 18289094..8b090cf6 100644
--- a/src/prolog/lib/format.pl
+++ b/src/prolog/lib/format.pl
@@ -158,7 +158,7 @@ element_gluevar(glue(_,V), N, N) --> [V].
 
 cells([], Args, Tab, Es) -->
         (   { Args == [] } -> cell(Tab, Tab, Es)
-        ;   { domain_error(no_remaining_arguments, Args, format_//2) }
+        ;   { domain_error(empty_list, Args, format_//2) }
         ).
 cells([~,~|Fs], Args, Tab, Es) --> !,
         cells(Fs, Args, Tab, [chars("~")|Es]).