On Wed, Oct 13, 2010 at 01:47:11PM -0500, Antoine Latter wrote:
> On Wed, Oct 13, 2010 at 1:02 PM, Serge D. Mechveliani
> wrote:
> > Dear GHC developers,
> >
> > I use the language extension of RecordWildcards, for example,
> > f (Foo {foo1 = n, foo2 = m, ..}) = ...
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.
2. notMember looks unnecessary, because one can write
not . Map.member k.
Regards,
-
Serge Mechveliani
mech...@botik.
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
Am 14.10.2010 17:27, schrieb Christian Maeder:
>> 2. notMember looks unnecessary, because one can write
>>not . Map.member k.
>
> That's the same for elem and notElem.
One motivation was to ease LaTeX creation by replacing `notElem` with
\notin.
>
> Cheers Christian
>
>>
>> Regards,
>>
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 version of GHC are you using? GHC 6.12 does not complain about unused
variables bound by "..". Try this, which complains about y, but not g.
Simon
{-# LANGUAGE RecordWildCards #-}
module Test where
data T = MkT { f,g :: Int }
p (MkT { .. }) y = f
| -Original Message-
| From