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
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