Use new call for single character push.

This commit is contained in:
Gregory Burd 2020-10-29 16:02:02 -04:00
parent 4a63ca98df
commit 5e700133f5

View file

@ -576,7 +576,7 @@ impl Repl {
let vals: Vec<String> = value.iter().map(|v| self.binding_as_string(v)).collect(); let vals: Vec<String> = value.iter().map(|v| self.binding_as_string(v)).collect();
out.push_str(vals.join(", ").as_str()); out.push_str(vals.join(", ").as_str());
out.push_str("]"); out.push(']');
out out
} }
@ -589,10 +589,10 @@ impl Repl {
first = true; first = true;
} }
out.push_str(&k.to_string()); out.push_str(&k.to_string());
out.push_str(" "); out.push(' ');
out.push_str(self.binding_as_string(v).as_str()); out.push_str(self.binding_as_string(v).as_str());
} }
out.push_str("}"); out.push('}');
out out
} }