From 847a92f580d3aad9f4c723731026225a8bf6f40d Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Fri, 1 May 2020 01:34:09 -0600 Subject: [PATCH] map single character atoms down to characters in constant_index --- src/prolog/machine/machine_indices.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/prolog/machine/machine_indices.rs b/src/prolog/machine/machine_indices.rs index 3c585d76..f35e76f6 100644 --- a/src/prolog/machine/machine_indices.rs +++ b/src/prolog/machine/machine_indices.rs @@ -248,7 +248,10 @@ impl Addr { } &Addr::Con(h) => { match &machine_st.heap[h] { - &HeapCellValue::Atom(ref name, ref op) => { + &HeapCellValue::Atom(ref name, _) if name.is_char() => { + Some(Constant::Char(name.as_str().chars().next().unwrap())) + } + &HeapCellValue::Atom(ref name, _) => { Some(Constant::Atom(name.clone(), None)) } &HeapCellValue::Integer(ref n) => { -- 2.54.0