andrey/helix-mirror
1
0
Fork 0
mirror of https://github.com/helix-editor/helix.git synced 2024-11-22 01:16:18 +04:00
Code Issues Projects Releases Wiki Activity

Add koka language server and update grammar (#10119)

Browse Source
This commit is contained in:
Matthew Toohey 2024-04-05 05:53:07 -04:00 committed by GitHub
parent f240d896a4
commit a2ee2e66f2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
4 changed files with 4 additions and 37 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
book/src/generated/lang-support.md
View File

@ -100,7 +100,7 @@
| julia | ✓ | ✓ | ✓ | `julia` | | julia | ✓ | ✓ | ✓ | `julia` |
| just | ✓ | ✓ | ✓ | | | just | ✓ | ✓ | ✓ | |
| kdl | ✓ | ✓ | ✓ | | | kdl | ✓ | ✓ | ✓ | |
| koka | ✓ | | ✓ | | | koka | ✓ | | ✓ | `koka` |
| kotlin | ✓ | | | `kotlin-language-server` | | kotlin | ✓ | | | `kotlin-language-server` |
| latex | ✓ | ✓ | | `texlab` | | latex | ✓ | ✓ | | `texlab` |
| ld | ✓ | | ✓ | | | ld | ✓ | | ✓ | |

4
languages.toml
View File

@ -45,6 +45,7 @@ intelephense = { command = "intelephense", args = ["--stdio"] }
jdtls = { command = "jdtls" } jdtls = { command = "jdtls" }
jsonnet-language-server = { command = "jsonnet-language-server", args= ["-t", "--lint"] } jsonnet-language-server = { command = "jsonnet-language-server", args= ["-t", "--lint"] }
julia = { command = "julia", timeout = 60, args = [ "--startup-file=no", "--history-file=no", "--quiet", "-e", "using LanguageServer; runserver()", ] } julia = { command = "julia", timeout = 60, args = [ "--startup-file=no", "--history-file=no", "--quiet", "-e", "using LanguageServer; runserver()", ] }
koka = { command = "koka", args = ["--language-server", "--lsstdio"] }
kotlin-language-server = { command = "kotlin-language-server" } kotlin-language-server = { command = "kotlin-language-server" }
lean = { command = "lean", args = [ "--server" ] } lean = { command = "lean", args = [ "--server" ] }
ltex-ls = { command = "ltex-ls" } ltex-ls = { command = "ltex-ls" }
@ -3264,10 +3265,11 @@ injection-regex = "koka"
file-types = ["kk"] file-types = ["kk"]
comment-token = "//" comment-token = "//"
indent = { tab-width = 8, unit = " " } indent = { tab-width = 8, unit = " " }
language-servers = ["koka"]
[[grammar]] [[grammar]]
name = "koka" name = "koka"
source = { git = "https://github.com/mtoohey31/tree-sitter-koka", rev = "2527e152d4b6a79fd50aebd8d0b4b4336c94a034" } source = { git = "https://github.com/mtoohey31/tree-sitter-koka", rev = "96d070c3700692858035f3524cc0ad944cef2594" }
[[language]] [[language]]
name = "tact" name = "tact"

34
runtime/queries/koka/highlights.scm
View File

@ -12,18 +12,6 @@
]))) ])))
["(" (block) (fnexpr)]) ["(" (block) (fnexpr)])
(ntlappexpr
function: (ntlappexpr
(atom
(qidentifier
[
(qvarid) @function
(qidop) @function
(identifier
[(varid) (idop)] @function)
])))
["(" (block) (fnexpr)])
(appexpr (appexpr
field: (atom field: (atom
(qidentifier (qidentifier
@ -46,28 +34,6 @@
]))) ])))
"[") "[")
(ntlappexpr
field: (atom
(qidentifier
[
(qvarid) @function
(qidop) @function
(identifier
[(varid) (idop)] @function)
])))
(ntlappexpr
(ntlappexpr
field: (atom
(qidentifier
[
(qvarid) @variable
(qidop) @variable
(identifier
[(varid) (idop)] @variable)
])))
"[")
[ [
"initially" "initially"
"finally" "finally"

1
runtime/queries/koka/indents.scm
View File

@ -1,6 +1,5 @@
[ [
(appexpr ["[" "("]) ; Applications. (appexpr ["[" "("]) ; Applications.
(ntlappexpr ["[" "("])
(atom ["[" "("]) ; Lists and tuples. (atom ["[" "("]) ; Lists and tuples.
(program (moduledecl "{")) ; Braced module declarations. (program (moduledecl "{")) ; Braced module declarations.
(funbody) (funbody)