Re: un-used record wildcards

2010-10-14 Thread Serge D. Mechveliani
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 mech...@botik.ru wrote: Dear GHC developers, I use the language extension of RecordWildcards, for example,                                f (Foo {foo1 = n, foo2 = m,

Set inclusion

2010-10-14 Thread 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. 2. notMember looks unnecessary, because one can write not . Map.member k. Regards, - Serge Mechveliani

Re: Set inclusion

2010-10-14 Thread Christian Maeder
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 -

Re: Set inclusion

2010-10-14 Thread Christian Maeder
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,

Re: Set inclusion

2010-10-14 Thread 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

RE: un-used record wildcards

2010-10-14 Thread Simon Peyton-Jones
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: