On Tue, Sep 9, 2008 at 3:49 PM, Jason Dagit <[EMAIL PROTECTED]> wrote: >> I'll try to get to this one tomorrow. > > Okay, I won't update anything until then.
Actually, could you just try writing and sending a reasonably-sized RIO patch that doesn't make any new commands compile with type witnesses. You're putting the cart before the horse here, and it's making everything too complicated. Let's separate the move from RIO to the move to using type witnesses everywhere. The problem is that given the size of this set of changes, it's impossible for me (or anyone else) to verify correctness, and only possible for me to find bugs, which doesn't really help us, because there's no viable path to moving your code into darcs. It's not just a preference, we *need* to work on this one piece at a time. I think that starting would be easiest, and by far the best option. Perhaps this time introducing a new withRepositoryRIO instead of changing the type of withRepository. Then we could approach this as a gradual refactor, rather than a huge flag day. David _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
