ADD function to toggle dhall type check

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).

straight/versions/default.el

@@ -10,16 +10,16 @@
  ("biblio.el" . "517ec18f00f91b61481214b178f7ae0b8fbc499b")
  ("blacken" . "456596e00f8277eafd9a08c62a71df06e8cad2c5")
  ("c-eldoc" . "f4ede1f37f6de583376669735326367d84a0a917")
- ("cider" . "43318f39c1fb7095bb1997059134fcbe7119ff2b")
+ ("cider" . "3491cb9093fb3838ea45a74974d50f31c2b972e6")
- ("citeproc-el" . "69536c8776dea383951538fd197333bee766d7c7")
+ ("citeproc-el" . "20aec822983ff87524eff30edcb9a706f4338511")
  ("clang-format" . "e48ff8ae18dc7ab6118c1f6752deb48cb1fc83ac")
  ("clojure-mode" . "3717e449dded7c8d9f50369bd34a19c077c2c538")
  ("company-anaconda" . "da1566db41a68809ef7f91ebf2de28118067c89b")
  ("company-auctex" . "9400a2ec7459dde8cbf1a5d50dfee4e300ed7e18")
  ("company-c-headers" . "9d384571b1190e99d0a789e5296176d69a3d0771")
  ("company-irony" . "b44711dfce445610c1ffaec4951c6ff3882b216a")
- ("company-math" . "45778f5731c97a21a83e3b965cbde42018709afd")
+ ("company-math" . "3e1bd33f5a5a3fe4afc834919a4ad36c34f5ce98")
- ("company-mode" . "00a739f9684c68c8445b04f33fb8536a07ae34bd")
+ ("company-mode" . "6884e3ad717419b4a64a5fab08c8cb9bd20a0b27")
  ("compat" . "7ca7d300d1d256f674f83932d2918d8e70cd28f6")
  ("conda.el" . "7a34e06931515d46f9e22154762e06e66cfbc81c")
  ("csv-mode" . "e13282b678af6b9ba74e5232610c6a4406c87877")
@@ -29,25 +29,25 @@
  ("dired-du" . "4ce114a0195b852022a81b05f0c8e0cbbc1ed013")
  ("dired-hacks" . "41d3eb42195d9f0894c20d18cc8e722b099aa1c1")
  ("dockerfile-mode" . "52c6c00da1d31c0b6c29c74335b3af63ed6bf06c")
- ("ebib" . "374400c99f600cfda703da4fb8d16898be48cb74")
+ ("ebib" . "56c2d15d9eb796108b3105e17904c0e730f6247b")
- ("el-get" . "caf80e20bc966c4036f293e1966370fe650240c5")
+ ("el-get" . "d28d617972d11e7df2cb1df86cc145f47f025a18")
  ("elpy" . "ae7919d94659eb26d4146d4c3422c5f4c3610837")
  ("emacs-async" . "10cedd8ac7173e92a6822317f1782550199d2d6d")
- ("emacs-buttercup" . "eaa4b3ccd115a2bb25be98dc637950645d3adbae")
+ ("emacs-buttercup" . "6372fd46b20cc807157071cb08ad263132ce7339")
  ("emacs-calfw" . "03abce97620a4a7f7ec5f911e669da9031ab9088")
- ("emacs-dashboard" . "87778851160a07c831197df83e4d399f671ea3c6")
+ ("emacs-dashboard" . "7cdb2e5e707d7bd5bb6bf8760c5923a8f43fea8f")
- ("emacs-format-all-the-code" . "c0cc80ee1a26f51d69b33cfbdb229a8582727cf5")
+ ("emacs-format-all-the-code" . "c156ffe5f3c979ab89fd941658e840801078d091")
  ("emacs-htmlize" . "dd27bc3f26efd728f2b1f01f9e4ac4f61f2ffbf9")
  ("emacs-language-id" . "40ceb1f23d4419e8fdb2808c2c71dd46e541c4c4")
  ("emacs-refactor" . "cac1b52932926f56d7f6d2923732d20bbd20670d")
  ("emacs-reformatter" . "f454b179ab7d39dc8783b9f2a046cab353b272f5")
  ("emacs-web-server" . "22ce66ea43e0eadb9ec1d691a35d9695fc29cee6")
  ("emacs-which-key" . "8093644032854b1cdf3245ce4e3c7b6673f741bf")
- ("emacsmirror-mirror" . "cae49f7b22cae2e7250a005a3b35a347322315b2")
+ ("emacsmirror-mirror" . "eeb4493845c8c03998b46961f76854067952db34")
  ("epl" . "78ab7a85c08222cd15582a298a364774e3282ce6")
  ("evil" . "2e8576188b1d0768fbf92c6bea2fb3fbed9f019f")
  ("evil-ReplaceWithRegister" . "91cc7bf21a94703c441cc9212214075b226b7f67")
- ("evil-collection" . "9149caf4a92bade1cf944d219487b1c516176cdb")
+ ("evil-collection" . "37ac0701d8de7677d4a54a4bcc69389044263701")
  ("evil-commentary" . "2dab6ac34d1617971768ad219d73af48f7473fec")
  ("evil-org-mode" . "b1f309726b1326e1a103742524ec331789f2bf94")
  ("evil-surround" . "c9e1449bf3f740b5e9b99e7820df4eca7fc7cf02")
@@ -57,7 +57,7 @@
  ("flycheck-clang-analyzer" . "646d9f3a80046ab231a07526778695d5decad92d")
  ("flycheck-package" . "3a6aaed29ff61418c48c0251e1432c30748ae739")
  ("flyspell-correct" . "7d7b6b01188bd28e20a13736ac9f36c3367bd16e")
- ("gnu-elpa-mirror" . "a6d186560598da105925194fe80fe0b0bc533978")
+ ("gnu-elpa-mirror" . "50abb75c66febbaaf82882585d2123bdb3126824")
  ("goto-chg" . "278cd3e6d5107693aa2bb33189ca503f22f227d0")
  ("graphviz-dot-mode" . "46afe4825b4a3a5d1a1ac65ec7f585051f756b78")
  ("haskell-mode" . "a34ccdc54be15043ff0d253c3c20087524255491")
@@ -78,11 +78,11 @@
  ("lispy" . "f35eadf8c1be43a395e196463314b17ea3b4e16f")
  ("list-utils" . "ca9654cd1418e874c876c6b3b7d4cd8339bfde77")
  ("lua-mode" . "3e783c93aa8a3d3ca985686438aa8d140cbddae6")
- ("magit" . "3cf308c1c4cdb9404e3d3c6f9935ad9f628311d9")
+ ("magit" . "99d9b3008adf72a0c2cdb7df70b5ae03ea9271c8")
  ("map" . "361f23dd3c6ae6788685471b9fb4a70e7a9351b6")
- ("markdown-mode" . "e3937a7ebfbc6a58a03682a40987d90db9cc74a1")
+ ("markdown-mode" . "d95107f5b77d6c010e89259e05adfcd79a21f26a")
  ("math-symbol-lists" . "ac3eb053d3b576fcdd192b0ac6ad5090ea3a7079")
- ("melpa" . "8e2676f0a686e56bd4ac56f79526fcbda37b0e29")
+ ("melpa" . "d866d72f544ca6833b142ec2731afec142952ddc")
  ("no-littering" . "fea487d7cb0e9a09fcf0b522c91fbc89d57ef1bb")
  ("nongnu-elpa" . "ddfb68cf9fa55823d815d426910e07ea3a2a5130")
  ("org-bullets" . "767f55feb58b840a5a04eabfc3fbbf0d257c4792")
@@ -108,7 +108,7 @@
  ("poly-markdown" . "d4ca396ec4a7d674ef0d671a6896f929ce5b504c")
  ("poly-noweb" . "3b0cd36ca9a707e8a09337a3468fa85d81fc461c")
  ("polymode" . "15b6c1e94a450a65a0e32096855c31f4390a3963")
- ("popup-el" . "5420f7fbdc1df31d3158bcb57d1ed9cf15a4c8ef")
+ ("popup-el" . "c762dda36a337421ddd30ec145b3474950974c41")
  ("powerline" . "c35c35bdf5ce2d992882c1f06f0f078058870d4a")
  ("projectile" . "036d327b5ad9b970bd1ea3123692a80bc1015b4a")
  ("pyenv-mode" . "b818901b8eac0e260ced66a6a5acabdbf6f5ba99")
@@ -117,7 +117,7 @@
  ("queue" . "130c2d656cd5d7376552272fab9e50a7c37d0c4a")
  ("rainbow-delimiters" . "a32b39bdfe6c61c322c37226d66e1b6d4f107ed0")
  ("rainbow-mode" . "55a8c15782197cd9db8950d2f5ed1b9caca08dae")
- ("robe" . "c29b47f588715b911da4588a59f3a5245f844138")
+ ("robe" . "b9d5ab549f73c5587415f538303fa76e0833354d")
  ("ruby-test-mode" . "d66db4aca6e6a246f65f7195ecfbc7581d35fb7a")
  ("rvm.el" . "e1e83b5466c132c066142ac63729ba833c530c83")
  ("s.el" . "e957dcb0677da18b2bb60ad867db5df5c35b5616")
@@ -135,7 +135,7 @@
  ("toc-org" . "bf2e4b358efbd860ecafe6e74776de0885d9d100")
  ("transient" . "c6cf2f2705ab56cd89d807e723ce45b9fcdfb9e1")
  ("ts.el" . "552936017cfdec89f7fc20c254ae6b37c3f22c5b")
- ("use-package" . "90787092a06e71a8b6aee23e06c662d15ebc05d0")
+ ("use-package" . "bcf0984cf55b70fe6896c6a15f61df92b24f8ffd")
  ("with-editor" . "4da109748da0828b79198701eb641d5b724153ce")
  ("yaml-mode" . "3fcb36d6039bef57e2a0f6e24c51f623c0bf5fb7")
  ("yasnippet" . "5cbdbf0d2015540c59ed8ee0fcf4788effdf75b6")