diff options
author | Sebastian Huebner <sebastian@hueb-ner.de> | 2020-06-23 13:55:19 +0200 |
---|---|---|
committer | Sebastian Huebner <sebastian@hueb-ner.de> | 2020-06-23 14:03:33 +0200 |
commit | 21f539068a0412e096d784e2c6e7a8030c737cfe (patch) | |
tree | 0df322f674c1d7d18c6403550fad6194f335980d /plugins | |
parent | e533f0fa3ac9db5d7c4c684f00ae2d31b0f73ed7 (diff) | |
download | lite-xl-plugins-21f539068a0412e096d784e2c6e7a8030c737cfe.tar.gz lite-xl-plugins-21f539068a0412e096d784e2c6e7a8030c737cfe.zip |
add Elm language syntax support
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/language_elm.lua | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/plugins/language_elm.lua b/plugins/language_elm.lua new file mode 100644 index 0000000..4f449a0 --- /dev/null +++ b/plugins/language_elm.lua @@ -0,0 +1,47 @@ +local syntax = require "core.syntax" + +syntax.add { + files = { "%.elm$" }, + comment = "%-%-", + patterns = { + { pattern = {"%-%-", "\n"}, type = "comment" }, + { pattern = { "{%-", "%-}" }, type = "comment" }, + { pattern = { '"', '"', '\\' }, type = "string" }, + { pattern = { '"""', '"""', '\\' }, type = "string" }, + { pattern = { "'", "'", '\\' }, type = "string" }, + { pattern = "-?0x%x+", type = "number" }, + { pattern = "-?%d+[%d%.eE]*f?", type = "number" }, + { pattern = "-?%.?%d+f?", type = "number" }, + { pattern = "%.%.", type = "operator" }, + { pattern = "[=:|&<>%+%-%*\\/%^%%]", type = "operator" }, + { pattern = "[%a_'][%w_']*", type = "symbol" }, + }, + symbols = { + ["as"] = "keyword", + ["case"] = "keyword", + ["of"] = "keyword", + ["if"] = "keyword", + ["then"] = "keyword", + ["else"] = "keyword", + ["import"] = "keyword", + ["module"] = "keyword", + ["exposing"] = "keyword", + ["let"] = "keyword", + ["in"] = "keyword", + ["type"] = "keyword", + ["alias"] = "keyword", + ["port"] = "keyword", + ["and"] = "keyword", + ["or"] = "keyword", + ["xor"] = "keyword", + ["not"] = "keyword", + ["number"] = "keyword2", + ["Bool"] = "keyword2", + ["Char"] = "keyword2", + ["Float"] = "keyword2", + ["Int"] = "keyword2", + ["String"] = "keyword2", + ["True"] = "literal", + ["False"] = "literal", + }, +} |