A small configuration of satysfi-ts-mode + lsp-mode

config-satysfi-ts-mode.el

(require 'package)
;;;; Add package-archives
(add-to-list 'package-archives
             '("melpa" . "https://melpa.org/packages/") t)
;; Initialize
(package-initialize)

(require 'leaf)

(leaf satysfi-ts-mode
  :ensure t
  :vc (:url "https://github.com/Kyure-A/satysfi-ts-mode")
  :mode (("\\.saty$" . satysfi-ts-mode)
         ("\\.satyh$" . satysfi-ts-mode)
         ("\\.satyg$" . satysfi-ts-mode))
  :hook (satysfi-ts-mode-hook . lsp))
;; :config
;; (cond ((equal system-type 'darwin)
;;        (setq satysfi-pdf-viewer-command "open -a Skim"
;;              satysfi-command "opam exec satysfi"))
;;       ((equal system-type 'gnu/linux)
;;        (setq satysfi-pdf-viewer-command "/usr/bin/evince"
;;              satysfi-command "opam exec satysfi")))

;; LSP
(leaf lsp-mode
  :ensure t
  :commands (lsp lsp-deferred)
  :require lsp
  :config
  (add-to-list 'lsp-language-id-configuration '(satysfi-ts-mode . "satysfi-ls"))
  (lsp-register-client
   (make-lsp-client :new-connection (lsp-stdio-connection '("~/.cargo/bin/satysfi-language-server"))
                    :major-modes '(satysfi-ts-mode)
                    :priority 0
                    :activation-fn (lsp-activate-on "satysfi-ls")
                    :server-id 'satysfi-ls)))

;; completion with company
(leaf company
  :ensure t
  :hook
  (satysfi-ts-mode . company-mode)
  :config
  (setq lsp-completion-provider :capf)
  (setq company-minimum-prefix-length 1)
  ;; We use lsp for completion
  (push 'company-capf company-backends))

(leaf flycheck
  :ensure t
  ;; Configure the key binding
  :bind (:flycheck-mode-map
         ("M-n" . flycheck-next-error)
         ("M-p" . flycheck-previous-error)))