[mercury-users] This Year's Mercury Entry for the ICF 2001 Contest

[Ralph Becket]

> Defeated at the last minute by appending an erroneous single white
> space to the output.

Looking more closely, it appears Exhaustion was undone by a scripting
problem, not incorrect output.  This is the stderr output of the 
program:

./runme: kill: (4377) - No such pid
ls: /tmp/result-*.smlng: No such file or directory

We clearly need a declarative scripting language.

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------