The first comment is not recognized in this minimal example:
Inductive foo :=
| bar : foo (* This is a comment. *)
(* This is also a comment *)
.I suspect this regex is causing this:
|
<string>:.*?[,.]</string> |
It somehow gets recognized fine after removing the period in the comment, or by removing the : foo annotation before.
By the way, is there a reference about how these grammar files work?
The first comment is not recognized in this minimal example:
I suspect this regex is causing this:
Sublime-Coq/Coq.tmLanguage
Line 67 in 0d1f707
It somehow gets recognized fine after removing the period in the comment, or by removing the
: fooannotation before.By the way, is there a reference about how these grammar files work?