From a2c1a62cd6be577fb750dacf59432c4dbe7cff4c Mon Sep 17 00:00:00 2001 From: Patrick Elliott Date: Tue, 21 Aug 2018 13:35:58 +0200 Subject: [PATCH 1/5] Add basic idris support --- modules/lang/idris/README.org | 3 +++ modules/lang/idris/config.el | 17 +++++++++++++++++ modules/lang/idris/packages.el | 4 ++++ 3 files changed, 24 insertions(+) create mode 100644 modules/lang/idris/README.org create mode 100644 modules/lang/idris/config.el create mode 100644 modules/lang/idris/packages.el diff --git a/modules/lang/idris/README.org b/modules/lang/idris/README.org new file mode 100644 index 000000000..60f8ef1a3 --- /dev/null +++ b/modules/lang/idris/README.org @@ -0,0 +1,3 @@ +#+TITLE: :lang idris + +Adds support for the [[https://www.idris-lang.org/][idris]] programming language. diff --git a/modules/lang/idris/config.el b/modules/lang/idris/config.el new file mode 100644 index 000000000..db01e19cb --- /dev/null +++ b/modules/lang/idris/config.el @@ -0,0 +1,17 @@ +;;; lang/idris/config.el -*- lexical-binding: t; -*- + +(def-package! idris-mode + :config + (add-hook! 'idris-mode-hook 'turn-on-idris-simple-indent) + (set-repl-handler! 'idris-mode 'idris-pop-to-repl) + (map! :map idris-mode-map + :localleader + :n "r" #'idris-load-file + :n "t" #'idris-type-at-point + :n "d" #'idris-add-clause + :n "l" #'idris-make-lemma + :n "c" #'idris-case-split + :n "w" #'idris-make-with-block + :n "m" #'idris-add-missing + :n "p" #'idris-proof-search + :n "h" #'idris-docs-at-point)) diff --git a/modules/lang/idris/packages.el b/modules/lang/idris/packages.el new file mode 100644 index 000000000..d600f1309 --- /dev/null +++ b/modules/lang/idris/packages.el @@ -0,0 +1,4 @@ +;; -*- no-byte-compile: t; -*- +;;; lang/idris/packages.el + +(package! idris-mode) From f80b9bb8c5b9559ec985efd6154bed4e7905ab06 Mon Sep 17 00:00:00 2001 From: Henrik Lissner Date: Wed, 22 Aug 2018 03:33:12 +0200 Subject: [PATCH 2/5] Defer loading of idris-mode package --- modules/lang/idris/config.el | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/modules/lang/idris/config.el b/modules/lang/idris/config.el index db01e19cb..3cf0b0594 100644 --- a/modules/lang/idris/config.el +++ b/modules/lang/idris/config.el @@ -1,7 +1,6 @@ ;;; lang/idris/config.el -*- lexical-binding: t; -*- -(def-package! idris-mode - :config +(after! idris-mode (add-hook! 'idris-mode-hook 'turn-on-idris-simple-indent) (set-repl-handler! 'idris-mode 'idris-pop-to-repl) (map! :map idris-mode-map From c5334f61a31dedf231f636cb6e40f35363cc7d71 Mon Sep 17 00:00:00 2001 From: Henrik Lissner Date: Wed, 22 Aug 2018 03:34:51 +0200 Subject: [PATCH 3/5] Add lookup-handlers for idris-mode --- modules/lang/idris/config.el | 3 +++ 1 file changed, 3 insertions(+) diff --git a/modules/lang/idris/config.el b/modules/lang/idris/config.el index 3cf0b0594..2f5b5b8cb 100644 --- a/modules/lang/idris/config.el +++ b/modules/lang/idris/config.el @@ -3,6 +3,9 @@ (after! idris-mode (add-hook! 'idris-mode-hook 'turn-on-idris-simple-indent) (set-repl-handler! 'idris-mode 'idris-pop-to-repl) + (set-lookup-handlers! 'idris-mode + :documentation #'idris-docs-at-point + :file #'idris-load-file) (map! :map idris-mode-map :localleader :n "r" #'idris-load-file From e64b8322a42af703977b281e411f0bbe946ca394 Mon Sep 17 00:00:00 2001 From: Patrick Elliott Date: Sat, 25 Aug 2018 15:35:06 +0200 Subject: [PATCH 4/5] Added `helm-idris` --- modules/lang/idris/config.el | 4 ++++ modules/lang/idris/packages.el | 2 ++ 2 files changed, 6 insertions(+) diff --git a/modules/lang/idris/config.el b/modules/lang/idris/config.el index 2f5b5b8cb..d05c67fe0 100644 --- a/modules/lang/idris/config.el +++ b/modules/lang/idris/config.el @@ -17,3 +17,7 @@ :n "m" #'idris-add-missing :n "p" #'idris-proof-search :n "h" #'idris-docs-at-point)) + +;; TODO get this working +(def-package! helm-idris + :after idris-mode) diff --git a/modules/lang/idris/packages.el b/modules/lang/idris/packages.el index d600f1309..95d63ce50 100644 --- a/modules/lang/idris/packages.el +++ b/modules/lang/idris/packages.el @@ -2,3 +2,5 @@ ;;; lang/idris/packages.el (package! idris-mode) + +(package! helm-idris) From fb5d1ae739c0aadffb054969a107ef96b6dfd153 Mon Sep 17 00:00:00 2001 From: Patrick Elliott Date: Sat, 25 Aug 2018 16:22:04 +0200 Subject: [PATCH 5/5] Remove (unmaintained) helm-idris package --- modules/lang/idris/config.el | 4 ---- modules/lang/idris/packages.el | 2 -- 2 files changed, 6 deletions(-) diff --git a/modules/lang/idris/config.el b/modules/lang/idris/config.el index d05c67fe0..2f5b5b8cb 100644 --- a/modules/lang/idris/config.el +++ b/modules/lang/idris/config.el @@ -17,7 +17,3 @@ :n "m" #'idris-add-missing :n "p" #'idris-proof-search :n "h" #'idris-docs-at-point)) - -;; TODO get this working -(def-package! helm-idris - :after idris-mode) diff --git a/modules/lang/idris/packages.el b/modules/lang/idris/packages.el index 95d63ce50..d600f1309 100644 --- a/modules/lang/idris/packages.el +++ b/modules/lang/idris/packages.el @@ -2,5 +2,3 @@ ;;; lang/idris/packages.el (package! idris-mode) - -(package! helm-idris)