[mercury-users] impose a computational rule

Fergus Henderson fjh at cs.mu.oz.au
Wed Aug 6 21:22:29 AEST 1997

Lee Naish, you wrote:
> For Erwan's application (and probably others) I think a
> --no-reorder-conj-I-really-mean-it option (which gives an error message
> if reordering would be necessary) is desirable.  This would allow tools
> which assume left to right execution to be used safely with Mercury.
> Alternatively you could change the meaning of --no-reorder-conj and add
> a --min-reorder-conj flag which does the minimal reordering necessary.

That's not a bad idea.  Perhaps in release 0.8...

Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at         |     -- the last words of T. S. Garp.

More information about the users mailing list