From 6240f047690a070b924f8cb6178b20793d811940 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Mon, 6 May 2019 22:45:32 -0400 Subject: [PATCH] correct error reporting for variable_names write option --- src/prolog/lib/builtins.pl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/prolog/lib/builtins.pl b/src/prolog/lib/builtins.pl index 27047628..5c65e610 100644 --- a/src/prolog/lib/builtins.pl +++ b/src/prolog/lib/builtins.pl @@ -220,7 +220,7 @@ is_write_option(Functor) :- Functor =.. [Name, Arg], ( Arg == true -> true ; Arg == false -> true - ; Name == variable_names -> must_be_var_names_list(Arg) + ; Name == variable_names -> must_be_var_names_list(Arg) ; var(Arg) -> throw(error(instantiation_error, write_term/2)) ; throw(error(domain_error(write_option, Functor), write_term/2)) ), % 8.14.2.3 e) @@ -249,6 +249,7 @@ must_be_var_names_list_([]). must_be_var_names_list_([VarName | VarNames]) :- ( nonvar(VarName), VarName = (Atom = _) -> ( atom(Atom) -> must_be_var_names_list_(VarNames) + ; var(Atom) -> throw(error(instantiation_error, write_term/2)) ; throw(error(domain_error(write_options, variable_names(VarName)), write_term/2)) ) ; throw(error(domain_error(write_options, variable_names(VarName)), write_term/2)) -- 2.54.0