[mercury-users] Hi, and determinism

Simon Taylor stayl at cs.mu.OZ.AU
Mon Jan 29 14:00:58 AEDT 2001

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.

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

More information about the users mailing list