fix(agda): tree-sitter compatibility with agda2-mode

Tree-sitter-lang recognized agda-mode, but not agda2-mode.
2022-09-10 15:01:11 +02:00 · 2022-09-10 15:01:11 +02:00 · b66ccaeca0
commit b66ccaeca0
parent 49f4ec3b10
1 changed files with 1 additions and 0 deletions
--- a/modules/lang/agda/config.el
+++ b/modules/lang/agda/config.el
@ -12,6 +12,7 @@
    :definition #'agda2-goto-definition-keyboard)

  (when (modulep! +tree-sitter)
+    (set-tree-sitter-lang! 'agda2-mode 'agda)
    (add-hook! '(agda-mode-local-vars-hook
                 agda2-mode-local-vars-hook)
               :append #'tree-sitter!))