tree-sitter-grammars: Add koka

[akirak]

Description of changes

A tree-sitter grammar for Koka: https://github.com/mtoohey31/tree-sitter-koka

Koka is a strongly typed functional-style language with effect types and handlers.

Koka v2 is a research language that is currently under development and not ready for production use. Nevertheless, the language is stable and the compiler implements the full specification. The main things lacking at the moment are libraries, package management, and deep IDE integration.

Adding this grammar to nixpkgs will promote development of editor integrations of the language. There is a GitHub Discussion on the parser: koka-lang/koka#370

Things done

• Built on platform(s)
  • x86_64-linux
  • aarch64-linux
  • x86_64-darwin
  • aarch64-darwin
• For non-Linux: Is sandboxing enabled in nix.conf? (See Nix manual)
  • sandbox = relaxed
  • sandbox = true
• Tested, as applicable:
  • NixOS test(s) (look inside nixos/tests)
  • and/or package tests
  • or, for functions and "core" functionality, tests in lib/tests or pkgs/test
  • made sure NixOS tests are linked to the relevant packages
• Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review rev HEAD". Note: all changes have to be committed, also see nixpkgs-review usage
• Tested basic functionality of all binary files (usually in ./result/bin/)
• 23.11 Release Notes (or backporting 23.05 Release notes)
  • (Package updates) Added a release notes entry if the change is major or breaking
  • (Module updates) Added a release notes entry if the change is significant
  • (Module addition) Added a release notes entry if adding a new NixOS module
• Fits CONTRIBUTING.md.

[akirak]

Result of nixpkgs-review pr 267000 run on x86_64-linux 1

2 packages built:

• diffsitter
• tree-sitter-grammars.tree-sitter-koka

[mtoohey31]

Thanks for this @akirak, looks good to me! I did just make one small change to the queries, so you might want to update the rev to include that. There's also a fix for the scoped keyword coming (see helix-editor/helix#8727 (comment)).

[akirak]

I've marked this PR as a draft for updating the branch. I'll unmark it when it's ready.

[akirak]

Result of nixpkgs-review pr 267000 run on x86_64-linux 1

2 packages built:

• diffsitter
• tree-sitter-grammars.tree-sitter-koka

[akirak]

@mtoohey31 I've updated the PR, but I don't know when to undraft it (maybe wait for scoped branch?). Please ping me once your Koka parser is ready for a release.

[mtoohey31]

Thanks @akirak, I've added the scoped change to main. There's just two final points I'm waiting for feedback on in the Helix PR, so I'll let you know once those are resolved.

[akirak]

This language has been integrated into helix (see helix-editor/helix@2e4653e), so I think it is ready to get merged. Thank you for your patient work, @mtoohey31 and others!

[nixos-discourse]

This pull request has been mentioned on NixOS Discourse. There might be relevant details there:

https://discourse.nixos.org/t/prs-ready-for-review/3032/3658

[mtoohey31]

Thanks for paying attention to that PR! Sorry that I forgot to ping you even though I said I would 🤦 There may be more updates once I get around to addressing mtoohey31/tree-sitter-koka#2, but it's probably best to include that in a future PR, cause I'm not sure when I'll get around to it.

Would you mind bumping the revision of the grammar in the PR to the latest one on main? There have been a couple of fixes since the earlier rev that would be nice to include.

[akirak]

Would you mind bumping the revision of the grammar in the PR to the latest one on main?

Yes! I forgot that. Sorry for being dumb. I have updated the JSON to reflect your latest main branch.

[mtoohey31]

No worries! Thanks!

[SuperSandro2000]

@ofborg build tree-sitter-grammars.tree-sitter-koka

[akirak]

Thanks!