[Date Prev][Date Next][Thread Prev][Thread Next][Author Index][Date Index][Thread Index]
version compare and partial orgls
- To: <mark>
- Subject: version compare and partial orgls
- From: Eric Dean Tribble <tribble>
- Date: Fri, 1 Sep 89 16:21:00 PDT
- Cc: <us>
- In-reply-to: <MarkS.Miller'smessageofFri>,19 PDT <8909012052.AA28349@xxxxxxxxxx>
The unify operation does not (and should not) require that the orgl be
partial. Two version of hamlet may be complete, but they can be
unified with each other (assuming they are equal).
Note that just as for the version comparison operation, unification
doesn't care whether the orgl is partial or not: it just unifies the
coordinate spaces, (but preexisting characters must be equal).