From: Mark Thom Date: Fri, 9 Feb 2024 00:38:01 +0000 (-0700) Subject: Update src/machine/parsed_results.rs X-Git-Tag: v0.9.4~3^2~10 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b43f0979d9419c0197b1184ca6588f6ae562acae;p=scryer-prolog.git Update src/machine/parsed_results.rs Co-authored-by: Bennet Bleßmann --- diff --git a/src/machine/parsed_results.rs b/src/machine/parsed_results.rs index 3d9d561d..9c635f05 100644 --- a/src/machine/parsed_results.rs +++ b/src/machine/parsed_results.rs @@ -13,7 +13,7 @@ pub enum QueryResolution { Matches(Vec), } -pub fn prolog_value_to_json_tring(value: Value) -> String { +pub fn prolog_value_to_json_string(value: Value) -> String { match value { Value::Integer(i) => format!("{}", i), Value::Float(f) => format!("{}", f), @@ -41,7 +41,7 @@ pub fn prolog_value_to_json_tring(value: Value) -> String { if i > 0 { string_result.push(','); } - string_result.push_str(&prolog_value_to_json_tring(v.clone())); + string_result.push_str(&prolog_value_to_json_string(v.clone())); } string_result.push(']'); string_result @@ -52,7 +52,7 @@ pub fn prolog_value_to_json_tring(value: Value) -> String { if i > 0 { string_result.push(','); } - string_result.push_str(&prolog_value_to_json_tring(v.clone())); + string_result.push_str(&prolog_value_to_json_string(v.clone())); } string_result.push(']'); string_result @@ -70,7 +70,7 @@ fn prolog_match_to_json_string(query_match: &QueryMatch) -> String { string_result.push_str(&format!( "\"{}\":{}", k, - prolog_value_to_json_tring(v.clone()) + prolog_value_to_json_string(v.clone()) )); } string_result.push('}');