[m-dev.] diff: mostly-uniq modes changes

Thomas Charles CONWAY conway at cs.mu.oz.au
Mon Sep 8 09:22:01 AEST 1997


Fergus Henderson, you write:
> 
> A few small changes towards supporting backtrackable destructive update
> better.
> 
> library/mercury_builtin.m:
> 	Add new insts mdi/1 and mostly_dead/0.
> 

Possibly, we should add another inst: slightly_alive as an
equivalence to mostly_dead.

Thomas
-- 
ZZ:wq!
^X^C
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			      Every sword has two edges.



More information about the developers mailing list