diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
| commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
| tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /sci-mathematics/agda/files | |
reinit the tree, so we can have metadata
Diffstat (limited to 'sci-mathematics/agda/files')
| -rw-r--r-- | sci-mathematics/agda/files/50agda2-gentoo.el | 10 | ||||
| -rw-r--r-- | sci-mathematics/agda/files/agda-2.4.2.5-hashtables.patch | 13 |
2 files changed, 23 insertions, 0 deletions
diff --git a/sci-mathematics/agda/files/50agda2-gentoo.el b/sci-mathematics/agda/files/50agda2-gentoo.el new file mode 100644 index 000000000000..fd1367f727e6 --- /dev/null +++ b/sci-mathematics/agda/files/50agda2-gentoo.el @@ -0,0 +1,10 @@ +;;; agda site-lisp configuration + +(add-to-list 'load-path "@SITELISP@") +(autoload 'agda2-mode "agda2.el" + "Major mode for Agda files" t) +(unless (assoc "\\.agda" auto-mode-alist) + (setq auto-mode-alist + (nconc '(("\\.agda" . agda2-mode) + ("\\.alfa" . agda2-mode)) auto-mode-alist))) + diff --git a/sci-mathematics/agda/files/agda-2.4.2.5-hashtables.patch b/sci-mathematics/agda/files/agda-2.4.2.5-hashtables.patch new file mode 100644 index 000000000000..9bba347fa292 --- /dev/null +++ b/sci-mathematics/agda/files/agda-2.4.2.5-hashtables.patch @@ -0,0 +1,13 @@ +diff --git a/src/full/Agda/Utils/HashMap.hs b/src/full/Agda/Utils/HashMap.hs +index 5e1da8b..7c34548 100644 +--- a/src/full/Agda/Utils/HashMap.hs ++++ b/src/full/Agda/Utils/HashMap.hs +@@ -5,7 +5,7 @@ module Agda.Utils.HashMap + ) where + + import Data.Hashable +-import Data.HashMap.Strict as HashMap ++import Data.HashMap.Strict as HashMap (HashMap, filter, lookup, insert, delete, empty, insertWith, toList, adjust, union, unionWith, elems, fromList, (!), keys, map, unions, foldr) + import qualified Data.Maybe as Maybe + + -- | Like 'Data.Map.Strict.mapMaybe'. |