aboutsummaryrefslogtreecommitdiff
path: root/plugins
diff options
context:
space:
mode:
authorSebastian Huebner <sebastian@hueb-ner.de>2020-06-23 13:55:19 +0200
committerSebastian Huebner <sebastian@hueb-ner.de>2020-06-23 14:03:33 +0200
commit21f539068a0412e096d784e2c6e7a8030c737cfe (patch)
tree0df322f674c1d7d18c6403550fad6194f335980d /plugins
parente533f0fa3ac9db5d7c4c684f00ae2d31b0f73ed7 (diff)
downloadlite-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.lua47
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",
+ },
+}