Re: [Monotone-devel] Deterministic *-merge

[Nathaniel J. Smith]

On Fri, Jan 12, 2007 at 07:47:59PM +0100, Florian Weimer wrote:
> * Nathaniel J. Smith:
> 
> > This is where "key idea 2" comes in again.  Let's define an
> > equivalence relation ~, as:
> >    for all x and y that are not equal to #, x ~ y iff x = y.
> >    for all x, # ~ x is always true.
> > Or in words: every normal value is "similar" to itself, plus, # is
> > similar to _everything_.
> 
> All objects are equivalent if ~ is in fact an equivalence relation.
> But I don't think this is a problem.

Err, right.  Thanks, good point.  What we want here is really a
partial order relation anyway, as per the parenthetical paragraph of
technicalness.  So, uh, anyone who cares about such details should
just ignore the thing about ~ and read the parenthetical paragraph.

-- Nathaniel