diff options
author | 636f6d6d656e740a <39064859+636f6d6d656e740a@users.noreply.github.com> | 2020-05-13 00:06:10 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-13 00:06:10 +0100 |
commit | 6efcef220f2c00d8dd50aa7da4293ba2841cf17b (patch) | |
tree | ff26099915b2739a35ea5b5ef430d2f2569ee805 /plugins | |
parent | fcde4aa617d68aa41dabb78eefb616c29ba94379 (diff) | |
download | lite-xl-plugins-6efcef220f2c00d8dd50aa7da4293ba2841cf17b.tar.gz lite-xl-plugins-6efcef220f2c00d8dd50aa7da4293ba2841cf17b.zip |
Create language_hs.lua
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/language_hs.lua | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/plugins/language_hs.lua b/plugins/language_hs.lua new file mode 100644 index 0000000..f0bf378 --- /dev/null +++ b/plugins/language_hs.lua @@ -0,0 +1,45 @@ +local syntax = require "core.syntax" + +syntax.add { + files = { "%.hs$" }, + comment = "%-%-", + patterns = { + { pattern = {"%-%-", "\n"}, type = "comment" }, + { pattern = { "{%-", "%-}" }, type = "comment" }, + { 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 = "[%a_'][%w_']*", type = "symbol" }, + }, + symbols = { + ["as"] = "keyword", + ["case"] = "keyword", + ["of"] = "keyword", + ["class"] = "keyword", + ["data"] = "keyword", + ["default"] = "keyword", + ["deriving"] = "keyword", + ["do"] = "keyword", + ["forall"] = "keyword", + ["foreign"] = "keyword", + ["hiding"] = "keyword", + ["if"] = "keyword", + ["then"] = "keyword", + ["else"] = "keyword", + ["import"] = "keyword", + ["infix"] = "keyword", + ["infixl"] = "keyword", + ["infixr"] = "keyword", + ["let"] = "keyword", + ["in"] = "keyword", + ["mdo"] = "keyword", + ["module"] = "keyword", + ["newtype"] = "keyword", + ["qualified"] = "keyword", + ["type"] = "keyword", + ["where"] = "keyword", + }, +} |