[mercury-users] impose a computational rule
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 188.8.131.52 | -- the last words of T. S. Garp.
More information about the users