From: Eshel Yaron <me@eshelyaron.com>
Date: Tue, 7 Feb 2023 20:16:44 +0000 (+0200)
Subject: FIXED: end-of-term detection after a fullstop turns to a dict dot
X-Git-Tag: V9.1.6
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=d03d5c605a2cea4c309c12336b90369a6497dfcc;p=dict.git

FIXED: end-of-term detection after a fullstop turns to a dict dot

This fixes an issue with finding clause bounds after changing e.g.:

    foo(Bar, Baz) :- Baz = Bar.
                              ^ read as fullstop

to:

    foo(Bar, Baz) :- Baz = Bar.foo.
                              ^ read as dict dot
---

diff --git a/sweeprolog.el b/sweeprolog.el
index 2bdcaa8..932b582 100644
--- a/sweeprolog.el
+++ b/sweeprolog.el
@@ -2481,6 +2481,10 @@ resulting list even when found in the current clause."
          `("comment" . ,_))
      (with-silent-modifications
        (remove-list-of-text-properties beg end '(sweeprolog-fullstop))))
+    (`("syntax_error" ,_ ,eb ,ee)
+     (with-silent-modifications
+       (remove-list-of-text-properties (min beg eb) (max end ee)
+                                       '(sweeprolog-fullstop))))
     ("fullstop"
      (with-silent-modifications
        (add-text-properties beg end