From: Mark Thom Date: Wed, 8 May 2019 23:58:05 +0000 (-0400) Subject: correct variable_names culprit X-Git-Tag: v0.8.110~64 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=7fef8a3e86ab2e5f66b65f438cb6764a5c8fe2ad;p=scryer-prolog.git correct variable_names culprit --- diff --git a/Cargo.toml b/Cargo.toml index 34f29fd3..87a3cd2f 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "scryer-prolog" -version = "0.8.79" +version = "0.8.80" authors = ["Mark Thom "] repository = "https://github.com/mthom/scryer-prolog" description = "A modern Prolog implementation written mostly in Rust." diff --git a/src/prolog/lib/builtins.pl b/src/prolog/lib/builtins.pl index 5c65e610..7bff4c1c 100644 --- a/src/prolog/lib/builtins.pl +++ b/src/prolog/lib/builtins.pl @@ -250,9 +250,9 @@ 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 | VarNames])), write_term/2)) ) - ; throw(error(domain_error(write_options, variable_names(VarName)), write_term/2)) + ; throw(error(domain_error(write_options, variable_names([VarName | VarNames])), write_term/2)) ). write_term(_, Options) :-