[darcs-devel] inverses as resolutions

[Ganesh Sittampalam]

I'm starting a new thread because I can't find a convenient place in 
existing threads to hang it off.

Resolutions are starting to look more and more like inverse patches to me. 
Why can't they just be inverse patches, and not kill off the resolved
patch? Given that we want resolutions to commute like AA^ (etc), why 
not just make AA^ commute how we want and use that directly?

Cheers,

Ganesh