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 /phox | |
| 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 'phox')
| -rw-r--r-- | phox/phox.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/phox/phox.el b/phox/phox.el index 5c5674ed..375272de 100644 --- a/phox/phox.el +++ b/phox/phox.el @@ -27,15 +27,15 @@ proof-script-comment-start "(*" proof-script-comment-end "*)" proof-script-syntax-table-entries - '(?( "()1" - ?) ")(4" + '(?\( "()1" + ?\) ")(4" ?* ". 23" ?$ "w" ?_ "w" ?. "w") proof-shell-syntax-table-entries - '(?( "()1" - ?) ")(4" + '(?\( "()1" + ?\) ")(4" ?* ". 23" ?$ "w" ?_ "w" |