From 4d8f76e9220b546d998c0937d29001a11af467be Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 15 Apr 2020 13:45:35 -0600
Subject: [PATCH] quote single dots only

---
 src/prolog/heap_print.rs | 4 +++-
 src/prolog/toplevel.pl   | 2 +-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/prolog/heap_print.rs b/src/prolog/heap_print.rs
index c9cd42a5..a57be201 100644
--- a/src/prolog/heap_print.rs
+++ b/src/prolog/heap_print.rs
@@ -442,7 +442,9 @@ fn non_quoted_token<Iter: Iterator<Item = char>>(mut iter: Iter) -> bool {
     if let Some(c) = iter.next() {
         if small_letter_char!(c) {
             iter.all(|c| alpha_numeric_char!(c))
-        } else if c != '.' && graphic_token_char!(c) {
+        } else if c == '.' {
+            iter.next().is_some()
+        } else if graphic_token_char!(c) {
             non_quoted_graphic_token(iter, c)
         } else if semicolon_char!(c) {
             iter.next().is_none()
diff --git a/src/prolog/toplevel.pl b/src/prolog/toplevel.pl
index e9057b0c..27bf71f5 100644
--- a/src/prolog/toplevel.pl
+++ b/src/prolog/toplevel.pl
@@ -123,7 +123,7 @@
     atom(Value),
     atom_chars(Value, ValueChars),
     '$list_last_item'(ValueChars, Char),
-    Char \== '.',
+    ValueChars \== ['.'],
     '$graphic_token_char'(Char).
 
 '$write_eqs_and_read_input'(B, VarList) :-
-- 
2.54.0