From: ross <unknown>
Date: Tue, 27 Jan 2004 09:52:37 +0000 (+0000)
Subject: [project @ 2004-01-27 09:52:37 by ross]
X-Git-Tag: nhc98-1-18-release~401
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=7178fdc965a41827d673a5d354f079b980c891b4;p=ghc-base.git

[project @ 2004-01-27 09:52:37 by ross]
generalize the type of minusFM
---

diff --git a/Data/FiniteMap.hs b/Data/FiniteMap.hs
index e63d92b..ee18419 100644
--- a/Data/FiniteMap.hs
+++ b/Data/FiniteMap.hs
@@ -180,7 +180,7 @@ plusFM_C	:: (Ord key OUTPUTABLE_key) => (elt -> elt -> elt)
 			   -> FiniteMap key elt -> FiniteMap key elt -> FiniteMap key elt
 
 -- | @(minusFM a1 a2)@ deletes from @a1@ any mappings which are bound in @a2@
-minusFM		:: (Ord key OUTPUTABLE_key) => FiniteMap key elt -> FiniteMap key elt -> FiniteMap key elt
+minusFM		:: (Ord key OUTPUTABLE_key) => FiniteMap key elt1 -> FiniteMap key elt2 -> FiniteMap key elt1
 
 -- | @(intersectFM a1 a2)@ returns a new 'FiniteMap' containing
 -- mappings from @a1@ for which @a2@ also has a mapping with the same