 (with-eval-after-load "speedbar"
   (speedbar-add-supported-extension ".hs"))
 (global-set-key (kbd "C-c r") 'speedbar)
+
+(use-package dhall-mode
+  :config
+    (remove-hook 'after-change-functions 'dhall-after-change)
+    (setq dhall-use-header-line nil
+          dhall-format-at-save nil)
+    (add-hook 'dhall-mode-hook
+              (lambda () (setq indent-tabs-mode nil))))
 
 (defun vvv/reload-tags-table (arg)
   "A combination of `tags-reset-tags-tables' and `visit-tags-table'."

(add-to-list 'auto-mode-alist '("\\.m$" . octave-mode))
(add-hook 'octave-mode-hook
          (lambda () (setq octave-block-offset 4)))

;;; GNU global
;;; https://github.com/leoliu/ggtags

(dolist
    (m '(c-mode python-mode sh-mode rust-mode html-mode js-mode haskell-mode
                markdown-mode yaml-mode ruby-mode org-mode emacs-lisp-mode
                sql-mode elm-mode dhall-mode))
  (font-lock-add-keywords m
   ; Fontify "XXX", even in comments.
   '(("\\<\\(XXX\\)" 1 'font-lock-warning-face prepend))))
