On Thu, Feb 26, 2009 at 4:52 AM, Gwern Branwen <[email protected]> wrote: > On Wed, Feb 25, 2009 at 4:51 PM, Jean-Philippe Bernardy > <[email protected]> wrote: >> >> Initializable is less restrictive than monoid (no mappend); so it's >> useful to keep as such. >> Adding Monoid => Initializable is ok but requires overlapping >> instances in many places I'm afraid. >> >> Cheers, >> JP. > > Is that bad? I mean, if we can get a whole bunch of Initializable instances, > are some pragmas a bad thing? (I'll admit I don't really understand this; I > just have an intuition that we should be able to steal mempty for initial, > if the former is defined.)
Not very bad. I can make the code a bit more opaque. -- JP --~--~---------~--~----~------------~-------~--~----~ Yi development mailing list [email protected] http://groups.google.com/group/yi-devel -~----------~----~----~----~------~----~------~--~---
