12 lines
402 B
Diff
12 lines
402 B
Diff
--- Agda-2.4.2.5/src/full/Agda/Utils/HashMap.hs~ 2015-12-19 06:29:26.000000000 +0900
|
|
+++ Agda-2.4.2.5/src/full/Agda/Utils/HashMap.hs 2016-10-06 14:19:19.071676894 +0900
|
|
@@ -5,7 +5,7 @@
|
|
) where
|
|
|
|
import Data.Hashable
|
|
-import Data.HashMap.Strict as HashMap
|
|
+import Data.HashMap.Strict as HashMap hiding (alter, mapMaybe)
|
|
import qualified Data.Maybe as Maybe
|
|
|
|
-- | Like 'Data.Map.Strict.mapMaybe'.
|