16 May 18:14
IntMap intersectionWith type is too restrictive
From: Scott Dillard <sedillard <at> ucdavis.edu>
Subject: IntMap intersectionWith type is too restrictive
Newsgroups: gmane.comp.lang.haskell.libraries
Date: 2008-05-16 16:18:39 GMT
Subject: IntMap intersectionWith type is too restrictive
Newsgroups: gmane.comp.lang.haskell.libraries
Date: 2008-05-16 16:18:39 GMT
Hi, This is a simple bug report, more or less. The type of Data.IntMap.intersectionWith is too restrictive. Presently (GHC 8.2, http://darcs.haskell.org/packages/containers/Data/) it's declared as (a->b->a) -> IntMap a -> IntMap b -> IntMap a, but if you just remove the type declarations it's inferred as (a->b->c) -> IntMap a -> IntMap b -> IntMap c. Similarly for intersectionWithKey. The more general a->b->c type is also the type of Data.Map.intersectionWith, and it's quite useful, such as (intersectionWith (,)) Scott
RSS Feed