diff options
| author | Markus Triska | 2015-10-02 16:47:06 -0400 |
|---|---|---|
| committer | Stefan Monnier | 2015-10-02 16:47:06 -0400 |
| commit | d771ae0d5f4259d1a23b202e0cbef7341eb5dd92 (patch) | |
| tree | dd33bad45247464d22ae02a3b786d888aaa93383 | |
| parent | 4cace70436a58a88843420dad26e56ec35e162a5 (diff) | |
| download | emacs-d771ae0d5f4259d1a23b202e0cbef7341eb5dd92.tar.gz emacs-d771ae0d5f4259d1a23b202e0cbef7341eb5dd92.zip | |
* prolog.el: Update and extend operator table
(prolog-smie-grammar): Add multifile, public etc.
| -rw-r--r-- | lisp/progmodes/prolog.el | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/lisp/progmodes/prolog.el b/lisp/progmodes/prolog.el index ff2769e7493..81aeb8d0f81 100644 --- a/lisp/progmodes/prolog.el +++ b/lisp/progmodes/prolog.el | |||
| @@ -877,12 +877,21 @@ This is really kludgy, and unneeded (i.e. obsolete) in Emacs>=24." | |||
| 877 | ;; manual uses precedence levels in the opposite sense (higher | 877 | ;; manual uses precedence levels in the opposite sense (higher |
| 878 | ;; numbers bind less tightly) than SMIE, so we use negative numbers. | 878 | ;; numbers bind less tightly) than SMIE, so we use negative numbers. |
| 879 | '(("." -10000 -10000) | 879 | '(("." -10000 -10000) |
| 880 | ("?-" nil -1200) | ||
| 880 | (":-" -1200 -1200) | 881 | (":-" -1200 -1200) |
| 881 | ("-->" -1200 -1200) | 882 | ("-->" -1200 -1200) |
| 883 | ("discontiguous" nil -1150) | ||
| 884 | ("dynamic" nil -1150) | ||
| 885 | ("meta_predicate" nil -1150) | ||
| 886 | ("module_transparent" nil -1150) | ||
| 887 | ("multifile" nil -1150) | ||
| 888 | ("public" nil -1150) | ||
| 889 | ("|" -1105 -1105) | ||
| 882 | (";" -1100 -1100) | 890 | (";" -1100 -1100) |
| 891 | ("*->" -1050 -1050) | ||
| 883 | ("->" -1050 -1050) | 892 | ("->" -1050 -1050) |
| 884 | ("," -1000 -1000) | 893 | ("," -1000 -1000) |
| 885 | ("\\+" -900 -900) | 894 | ("\\+" nil -900) |
| 886 | ("=" -700 -700) | 895 | ("=" -700 -700) |
| 887 | ("\\=" -700 -700) | 896 | ("\\=" -700 -700) |
| 888 | ("=.." -700 -700) | 897 | ("=.." -700 -700) |