Tree - rpms/Agda - src.fedoraproject.org

Blob History Raw

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