From 48c531e76cadd3576e303e33856ca0b87fdefd2d Mon Sep 17 00:00:00 2001 From: Henrik Lissner Date: Sat, 18 Aug 2018 23:45:36 +0200 Subject: [PATCH] lang/coq: move config.el to autoload.el The auto-mode-alist entry for coq-mode and friends are already added by proof-general's autoloads file, and neither coq-mode nor company-coq-mode belong to proof-site specifically, so they shouldn't be treated like they are (this could cause autoloading errors). The `def-package!` block altogether is unnecessary. The only thing we need is to enable `company-coq-mode` on coq-mode-hook. However, having a one-line config.el is a tad excessive, so we put it in autoload.el instead. --- modules/lang/coq/autoload.el | 4 ++++ modules/lang/coq/config.el | 5 ----- 2 files changed, 4 insertions(+), 5 deletions(-) create mode 100644 modules/lang/coq/autoload.el delete mode 100644 modules/lang/coq/config.el diff --git a/modules/lang/coq/autoload.el b/modules/lang/coq/autoload.el new file mode 100644 index 000000000..624185018 --- /dev/null +++ b/modules/lang/coq/autoload.el @@ -0,0 +1,4 @@ +;;; lang/coq/autoload.el -*- lexical-binding: t; -*- + +;;;###autoload +(add-hook 'coq-mode-hook #'company-coq-mode) diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el deleted file mode 100644 index ea8974723..000000000 --- a/modules/lang/coq/config.el +++ /dev/null @@ -1,5 +0,0 @@ -;;; lang/coq/config.el -*- lexical-binding: t; -*- - -(def-package! proof-site - :mode ("\\.v\\'" . coq-mode) - :hook (coq-mode . company-coq-mode))