On Thu, Feb 26, 2009 at 4:52 AM, Gwern Branwen <gwe...@gmail.com> wrote: > On Wed, Feb 25, 2009 at 4:51 PM, Jean-Philippe Bernardy > <jeanphilippe.berna...@gmail.com> 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 yi-devel@googlegroups.com http://groups.google.com/group/yi-devel -~----------~----~----~----~------~----~------~--~---
