Re: bug in language definition (strictness)

2009-08-13 Thread John Meacham
On Fri, Aug 07, 2009 at 08:56:39AM +1000, Peter Gammie wrote: > How so? Take this code: > > newtype BDD = BDD (ForeignPtr Int) > > exists :: Group BDD -> BDD -> BDD > exists group bdd = bdd `seq` unsafePerformIO $ > withGroup group $ \ gid -> > do bdd_assoc bdd_manager gid >withBDD bd

Re: [Haskell'-private] StricterLabelledFieldSyntax

2009-08-13 Thread Ian Lynagh
On Wed, Aug 12, 2009 at 11:45:04PM -0700, John Meacham wrote: > > Also, what about data declarations? Would we need something like below? > It seems odd to apply such a rule sometimes but not others. > > > data Foo = (Foo { .. }) | ... You would not need these parentheses; nor would you need par