From 51c6b0bd988d8cec9e28c6c89ccfa09d158a7713 Mon Sep 17 00:00:00 2001
From: ndwarshuis <ndwar@yavin4.ch>
Date: Wed, 21 Dec 2022 22:51:13 -0500
Subject: [PATCH] ENH increase dhall type check timeout

---
 etc/conf.org | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/etc/conf.org b/etc/conf.org
index 8d5f647..f59623f 100644
--- a/etc/conf.org
+++ b/etc/conf.org
@@ -1134,7 +1134,9 @@ Dhall is a functional/typed configuration language (bout time).
 #+begin_src emacs-lisp
 (use-package dhall-mode
   :straight t
-  :mode "\\.dhall\\'")
+  :mode "\\.dhall\\'"
+  :config
+  (setq dhall-type-check-inactivity-timeout 5))
 
 (defun nd/dhall-toggle-type-check ()
   "Turn dhall type checking on/off."