[mercury-users] Modular data-abstraction and mostly unique modes.

[Thomas Charles CONWAY]

Henk Vandecasteele writes:
> > Well, instantiation information and uniqueness are different, but they
> > are very closely linked -- so closely as to be pretty much
> > inextricable, I think.  For example, if a variable is not uniquely
> > referenced, then you cannot be sure that it is free -- because it may
> > have been bound via one of the other references.
> 
> One improvement could be to make uniqueness-information a syntactical
> annotation to the instantation-information.

eg
	unique(Inst) meaning that the top level functor (only) of Inst
		is unique
and
	fully_unique(Inst) meaning that every bound node in Inst is unique.

Thomas
-- 
ZZ:wq!
^X^C
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			   Nail here [] for new monitor.