diff options
| author | Pierre Courtieu | 2021-03-21 19:25:49 +0100 |
|---|---|---|
| committer | Pierre Courtieu | 2021-03-21 22:32:57 +0100 |
| commit | f0f0476d07401aba2cf428a71f7ee960cd1b3154 (patch) | |
| tree | ecb67abf7fce9b3a5ce9c3f864db92eb327b8e2a /coq/coq-syntax.el | |
| parent | 0a0a34362ae4f7057f1cb1a0a12cf0a8ea3c0ce9 (diff) | |
Fix #562. Lazy/multi_?match indentation support.
Actually it seems that even multimatch and lazymatch was poorly
supported.
Diffstat (limited to 'coq/coq-syntax.el')
| -rw-r--r-- | coq/coq-syntax.el | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 0e143637..a517df71 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -236,14 +236,16 @@ so for the following reasons: ("inversion_clear" "invcl" "inversion_clear" t "inversion_clear") ("lapply" "lap" "lapply" t "lapply") ("lazy" "lazy" "lazy beta delta [#] iota zeta" t "lazy") - ("lazymatch with" "m" "lazymatch # with\n| # => #\nend") + ("lazymatch with" "lazym" "lazymatch # with\n| # => #\nend") + ("lazy_match! with" "lazy_m" "lazy_match! # with\n| # => #\nend") ("left" "left" "left" t "left") ("lia" nil "lia" t "lia") ("linear" "lin" "linear" t "linear") ("load" "load" "load" t "load") ("lra" nil "lra" t "lra") ("move after" "mov" "move # after #" t "move") - ("multimatch with" "m" "multimatch # with\n| # => #\nend") + ("multimatch with" "mm" "multimatch # with\n| # => #\nend") + ("multi_match! with" "multi_m" "multi_match! # with\n| # => #\nend") ("nia" nil "nia" t "nia") ("now_show" nil "now_show" t "now_show") ("nra" nil "nra" t "nra") @@ -955,7 +957,7 @@ so for the following reasons: ("forall (4 args)" "fo4" "forall (#:#) (#:#) (#:#) (#:#), #") ("if" "if" "if # then # else #" nil "if") ("let in" "li" "let # := # in #" nil "let") - ("match! (from type)" nil "" nil "match" coq-insert-match) + ("match?" nil "" nil "match" coq-insert-match) ("match with" "m" "match # with\n| # => #\nend") ("match with 2" "m2" "match # with\n| # => #\n| # => #\nend") ("match with 3" "m3" "match # with\n| # => #\n| # => #\n| # => #\nend") @@ -1172,7 +1174,7 @@ It is used: (append '( "False" "True" "after" "as" "cofix" "fix" "forall" "fun" "match" - "lazymatch" "multimatch" + "lazymatch" "multimatch" "lazy_match" "multi_match" "return" "struct" "else" "end" "if" "in" "into" "let" "then" "using" "with" "beta" "delta" "iota" "zeta" "after" "until" "at" "Sort" "Time" "dest" "where" |