[mercury-users] impose a computational rule

[Fergus Henderson]

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 128.250.37.3         |     -- the last words of T. S. Garp.