diff options
| author | Pierre Courtieu | 2017-04-24 11:28:59 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2017-04-24 11:28:59 +0200 |
| commit | 758e679ebcfce22099ba4b360b7c0ed7bee2a736 (patch) | |
| tree | 4025f1637cd6953f5223bd134feaf0c6786330d7 /coq/coq-syntax.el | |
| parent | 03ff7c4c6bfd666c3aa394eb981ccd7d762acf8c (diff) | |
Preparing new warning tags (no more special chars).
Diffstat (limited to 'coq/coq-syntax.el')
| -rw-r--r-- | coq/coq-syntax.el | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index 7cae3a88..2801ddbe 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -1210,8 +1210,14 @@ It is used: (defvar coq-error-regexp "^\\(In nested Ltac call\\|Error:\\|Discarding pattern\\|Syntax error:\\|System Error:\\|User Error:\\|User error:\\|Anomaly[:.]\\|Toplevel input[,]\\)" "A regexp indicating that the Coq process has identified an error.") +;; april2017: coq-8.7 removes special chars definitely and puts +;; <infomsg> and <warning> around all messages except errors. +;; We let our legacy regexp for some years and remove them, say, in 2020. (defvar coq-shell-eager-annotation-start - "\376\\|\\[Reinterning\\|Warning:\\|TcDebug \\|<infomsg>") + "\376\\|\\[Reinterning\\|Warning:\\|TcDebug \\|<infomsg>\\<warning>") + +(defvar coq-shell-eager-annotation-end + "\377\\|done\\]\\|</infomsg>\\|</warning>\\|\\*\\*\\*\\*\\*\\*\\|) >") (defvar coq-id "\\(@\\|_\\|\\w\\)\\(\\w\\|\\s_\\)*") ;; Coq ca start an id with @ or _ (defvar coq-id-shy "\\(?:@\\|_\\|\\w\\)\\(?:\\w\\|\\s_\\)*") |