17 Sep
                
                    2007
                
            
            
                17 Sep
                
                '07
                
            
            
            
        
    
                2:38 p.m.
            
        David Roundy 
Data.Map is a standardized interface, *not* a standardized implementation. I'm not saying it's a *good* standardized interface, but it's the only one we've got.
Not so! There is another more venerable interface, namely Data.FiniteMap. That interface was deleted in favour of Data.Map, for no good reason that I am aware of. Indeed, I still have several pieces of software that continue to use the FiniteMap interface, but now have an extra home-grown indirection layer to connect to the current Data.Map implementation, just to enable the software to build. Regards, Malcolm