[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