]> git.eshelyaron.com Git - dict.git/commitdiff
FIXED: end-of-term detection after a fullstop turns to a dict dot V9.1.5 V9.1.6
authorEshel Yaron <me@eshelyaron.com>
Tue, 7 Feb 2023 20:16:44 +0000 (22:16 +0200)
committerEshel Yaron <me@eshelyaron.com>
Tue, 7 Feb 2023 20:16:44 +0000 (22:16 +0200)
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

sweeprolog.el

index 2bdcaa83dfe90f82b7e353a275cfab66858cdb1a..932b582560f68bd1f59459632daa67106d1d8e1c 100644 (file)
@@ -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