Vendored from upstream, pinned by commit (see debian/extra/README.source): - gitstatus, gitopen, fontconfig, open_ext, select_colorscheme, smoothcaret, nerdicons (font mapping patched to DATADIR, Ships the Symbols Nerd Font Mono TTF, SIL OFL 1.1) - lite-xl-lsp (complete LSP client; idle until a language server is configured) plus the lite-xl-widgets library it requires - 104 language syntax plugins (none duplicate the nine bundled in core) settings GUI left out upstream is broken: it requires a libraries.widget.fonts widget that does not exist in lite-xl-widgets at any revision. Co-developed-with: ZCode (Z.ai)
49 lines
1.4 KiB
Lua
49 lines
1.4 KiB
Lua
-- mod-version:3
|
|
local syntax = require "core.syntax"
|
|
|
|
syntax.add {
|
|
name = "Haskell",
|
|
files = { "%.hs$" },
|
|
comment = "--",
|
|
block_comment = {"{-", "-}"},
|
|
patterns = {
|
|
{ pattern = "%-%-.*", 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",
|
|
},
|
|
}
|