ADD function to toggle dhall type check

This commit is contained in:
Nathan Dwarshuis 2022-12-11 13:00:33 -05:00
parent 5a26514c86
commit 73fda400e4
1 changed files with 7 additions and 0 deletions

View File

@ -1135,6 +1135,13 @@ Dhall is a functional/typed configuration language (bout time).
(use-package dhall-mode (use-package dhall-mode
:straight t :straight t
:mode "\\.dhall\\'") :mode "\\.dhall\\'")
(defun nd/dhall-toggle-type-check ()
"Turn dhall type checking on/off."
(interactive)
(let ((msg (if dhall-use-header-line "disabled" "enabled")))
(setq dhall-use-header-line (not dhall-use-header-line))
(message "Dhall type check %s" msg)))
#+end_src #+end_src
*** Lua *** Lua
For flycheck, install =luacheck= (from AUR on Arch). For flycheck, install =luacheck= (from AUR on Arch).