Set inclusion

[Serge D. Mechveliani]

On Thu, Oct 14, 2010 at 05:27:52PM +0200, Christian Maeder wrote:
> Am 14.10.2010 15:44, schrieb Serge D. Mechveliani:
> > I have the two notes on the GHC library. 
> > The docs show that 
> > 1. Map has the function for the Map inclusion relation, 
> >    and Set does not have such for sets.
> 
> Which function(s) do you mean?
> 
> Data.Map:
> isSubmapOf :: (Ord k, Eq a) => Map k a -> Map k a -> Bool
> [..]
> isSubsetOf :: Ord a => Set a -> Set a -> Bool
> isProperSubsetOf :: Ord a => Set a -> Set a -> Bool
> 

I am sorry for missing this. 
Now I see that GHC is all right at this point.

-----------------
Serge Mechveliani
mechvel at botik.ru