diff options
| author |  Stefan Monnier <monnier@iro.umontreal.ca> | 2018-12-15 20:03:43 -0500 |
|---|---|---|
| committer |  Clément Pit-Claudel <clement.pitclaudel@live.com> | 2018-12-15 22:55:12 -0500 |
| commit | 1854459fef368dfc8ca870792e7e3b065a2241c6 (patch) | |
| tree | 1d865a11322a4bca2d46dea51ebc21c777c0d720 /coq/coq-indent.el | |
| parent | 2ab20374892220cc0979a7999026da98ecf9b4c1 (diff) | |
Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.
Fix a few more cl.el leftovers. Get rid of remaining use of iso-2022.
Use SMIE unconditionally.
* coq/coq-abbrev.el: Use lexical-binding.
(coq-install-abbrevs): Delete, only keep the relevant contents.
(proof-defstringset-fn): Remove. Fold changes into the main version.
* coq/coq-indent.el (coq-find-real-start): Use forward-comment.
* coq/coq-smie.el: Use lexical-binding. Assume `smie` is available.
(coq--string-suffix-p): Rename from coq-string-suffix-p.
Use string-suffix-p for it when available.
(string-suffix-p): Never define here. Change all users to use
coq--string-suffix-p instead.
(coq-smie-.-deambiguate): Use forward-comment. Remove unused var `beg`.
(coq-backward-token-fast-nogluing-dot-friends)
(coq-forward-token-fast-nogluing-dot-friends): Remove unused var
`tok-other`.
(coq-smie-search-token-backward): Remove unused var `p`.
(coq-smie-:=-deambiguate, coq-smie-backward-token): Prefer char-before
over looking-back.
(coq-smie-rules): Use `pcase` over deprecated cl's `case`.
* coq/coq-syntax.el: Use lexical-binding.
(coq-count-match): Rewrite so it doesn't do needless heap-allocation.
(coq-module-opening-p, coq-section-command-p, coq-goal-command-str-p):
Use case-fold-search rather than proof-string-match.
(coq-goal-command-regexp): Forward-declare.
(coq-save-command-regexp-strict): Move before first use.
(coq-reserved-regexp): Use a single \_< ... \_>.
(coq-detect-hyps-positions): Limit search for looking-back.
* coq/coq.el: Remove SMIE declarations since SMIE is always used.
(coq-use-smie): Remove, unused.
(coq-smie): Always require.
* generic/pg-pbrpm.el: Fix leftover cl.el uses.
* generic/proof-utils.el (proof-defstringset-fn): Fix copy&paste error
in the docstring, improve interactive prompt.
* lib/maths-menu.el: Use utf-8 and lexical-binding.
Diffstat (limited to 'coq/coq-indent.el')
| -rw-r--r-- | coq/coq-indent.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-indent.el b/coq/coq-indent.el index af780251..ba4db8c3 100644 --- a/coq/coq-indent.el +++ b/coq/coq-indent.el @@ -523,7 +523,7 @@ the (point-min) if there is no previous command." "Move to the start of command at point. The point is put exactly before first non comment letter of the command." (coq-find-current-start) - (coq-find-not-in-comment-forward "\\S-")) + (forward-comment (point-max))) (defun same-line (pt pt2) (or (= (line-number-at-pos pt) (line-number-at-pos pt2)))) |