[Date Prev][Date Next][Thread Prev][Thread Next][Author Index][Date Index][Thread Index]
Re: version compare and partial orgls
- To: <tribble>, <us>
- Subject: Re: version compare and partial orgls
- From: Roger Gregory <roger>
- Date: Thu, 31 Aug 89 19:48:12 PDT
Since the comparison
operations compare the differences between the coordinate spaces, it
doesn't matter whether any data is associated with locations in the
coordinate space!
As a result, only the unify operation can modify sharing relationships
(that's exactly what it's for). Unify adds the information that two
initially unshared spaces now refer to the exact same thing. Hmm. My
quick 'semantics' for unify implies that two partial orgls can be
unified. Bizarre. It makes sense, though.
Not bizarre at all, in fact nothing else makes sense at all. Partial orgls
had better be A LOT like orgls, or we're in trouble everywhere with
semantic coherence.
Good work!