]> git.eshelyaron.com Git - dict.git/commit
projects / dict.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb6449e) | patch
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)
commitfd385faf2cc39e8393e4d49e272ac108ccff0e32
tree0459e1d39c0c0c1d6f4a32f076c31cf851e5cf89tree | snapshot
parentbb6449e096a2e281e44a2fb3599ac3b8f124e9c5commit | diff
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
sweeprolog.el diff | blob | history
Get word definitions from RFC2229 dictionary servers