[mercury-users] Hi, and determinism

[Simon Taylor]

On Mon, Jan 29, 2001 at 12:25:49PM +1100, Fergus Henderson wrote:
> I think it might be a good idea for us to allow `==' as a synonym for `=',
> and add an option to the compiler which warns about all semidet unifications
> which are not written using `=='.  If that works well in practice, we could
> make that behaviour the default.

It would also be worthwhile to modify the debugger to produce trace
events for semidet unifications.

Simon.
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------