diff options
author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-07-02 12:19:51 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-07-02 12:19:51 +0200 |
commit | da9149010f4d34eef23a504682d82cdcf4fac8f5 (patch) | |
tree | a213e0a93e1e4ac2b8a6a724e32db3e8d6dc1fc5 /context/data/scite/context/lexers/scite-context-lexer-mps.lua | |
parent | c6fcaaa08d694397e9db4d1f9497926c193a5d95 (diff) | |
download | context-da9149010f4d34eef23a504682d82cdcf4fac8f5.tar.gz |
2016-07-01 16:31:00
Diffstat (limited to 'context/data/scite/context/lexers/scite-context-lexer-mps.lua')
-rw-r--r-- | context/data/scite/context/lexers/scite-context-lexer-mps.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/context/data/scite/context/lexers/scite-context-lexer-mps.lua b/context/data/scite/context/lexers/scite-context-lexer-mps.lua index fa335eb3f..b4be44fe5 100644 --- a/context/data/scite/context/lexers/scite-context-lexer-mps.lua +++ b/context/data/scite/context/lexers/scite-context-lexer-mps.lua @@ -98,7 +98,8 @@ local primitive = token("primitive", exact_match(metapostprimitives)) local identifier = token("default", cstoken^1) local number = token("number", number) local grouping = token("grouping", S("()[]{}")) -- can be an option -local special = token("special", S("#()[]{}<>=:\"")) -- or else := <> etc split +local suffix = token("number", P("#@") + P("@#") + P("#")) +local special = token("special", P("#@") + P("@#") + S("#()[]{}<>=:\"")) -- or else := <> etc split local texlike = token("warning", P("\\") * cstokentex^1) local extra = token("extra", P("+-+") + P("++") + S("`~%^&_-+*/\'|\\")) @@ -134,6 +135,7 @@ metafunlexer._rules = { { "primitive", primitive }, { "luacall", luacall }, { "texstuff", texstuff }, + { "suffix", suffix }, { "identifier", identifier }, { "number", number }, { "quoted", quoted }, |