git.iko.soy/MemoTrie
on master help sign in
import "base" Data.Void
28c6471Sam Boosalis
MemoTrie.cabal+8−2
compare with master
unifiedsplit
@@ -26,9 +26,15 @@ source-repository head
26
26
27Library
27Library
28 hs-Source-Dirs: src
28 hs-Source-Dirs: src
29− Extensions:
29+
30+ if impl(ghc >= 7.10.0)
31+ Build-Depends: base < 5
32+ else
30− Build-Depends: base < 5, void
33+ Build-Depends: base < 5, void
34+
31 Exposed-Modules:
35 Exposed-Modules:
32 Data.MemoTrie
36 Data.MemoTrie
37+ Other-Modules:
38+ Data.MemoTrie.Extra
33
39
34 ghc-prof-options: -prof -auto-all
40 ghc-prof-options: -prof -auto-all
src/Data/MemoTrie.hs+3−3
@@ -62,8 +62,8 @@ import Data.Monoid
62import Data.Function (on)
62import Data.Function (on)
63import GHC.Generics
63import GHC.Generics
64
64
65−import Data.Void
65+import Data.MemoTrie.Extra (Void)
66−
66+
67-- import Prelude hiding (id,(.))
67-- import Prelude hiding (id,(.))
68-- import Control.Category
68-- import Control.Category
69-- import Control.Arrow
69-- import Control.Arrow
@@ -173,7 +173,7 @@ instance HasTrie Void where
173 -- As suggested by Audun Skaugen
173 -- As suggested by Audun Skaugen
174 data Void :->: a = VoidTrie
174 data Void :->: a = VoidTrie
175 trie _ = VoidTrie
175 trie _ = VoidTrie
176− untrie VoidTrie = absurd
176+ untrie VoidTrie = \case
177 enumerate VoidTrie = []
177 enumerate VoidTrie = []
178
178
179instance HasTrie () where
179instance HasTrie () where
src/Data/MemoTrie/Extra.hsnew file+11
@@ -0,0 +1,11 @@
1+{-# LANGUAGE CPP, PackageImports #-}
2+module Data.MemoTrie.Extra
3+ ( Void
4+ ) where
5+
6+#if MIN_VERSION_base(4,8,0)
7+import "base" Data.Void
8+#else
9+import "void" Data.Void
10+#endif
11+