From 73fda400e401c9d5f0f272681c5c782efca6e54a Mon Sep 17 00:00:00 2001 From: ndwarshuis Date: Sun, 11 Dec 2022 13:00:33 -0500 Subject: [PATCH] ADD function to toggle dhall type check --- etc/conf.org | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/etc/conf.org b/etc/conf.org index 91d0cd1..7fb4972 100644 --- a/etc/conf.org +++ b/etc/conf.org @@ -1135,6 +1135,13 @@ Dhall is a functional/typed configuration language (bout time). (use-package dhall-mode :straight t :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 *** Lua For flycheck, install =luacheck= (from AUR on Arch).