Emacs major mode for editing SATySFi document.
(add-to-list 'auto-mode-alist '("\\.\\(saty\\|satyh\\)\\'" . satysfi-mode))
(autoload 'satysfi-mode "satysfi-mode" "Major mode for editing SATySFi document." t)
(autoload 'flycheck-satysfi-setup "flycheck-satysfi" "Setup Flycheck checker for SATySFi." t)
(add-hook 'satysfi-mode-hook
(lambda ()
(flycheck-satysfi-setup)
(flycheck-mode)))
Features implemented so far:
- Parentheses matching (C-M-f and C-M-b)
- Contextual syntax highlighting (eg. only highlight
let
in program segments) - Structure-based auto indentation
+listing
auto indentation- Flycheck integration
To-Dos:
- Automatic parentheses pairing
- Auto indentation in program segments