[m-rev.] diff: remove --convert-to-goedel and --generate-prolog

[Fergus Henderson]

On 22-May-2001, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> 
> Any objections?
...
> Remove the `--convert-to-goedel' option. It doesn't really work
> and it's a hassle to maintain.
...
> Remove the `--generate-prolog' and `--prolog-dialect' options.
> They aren't implemented, and now that we have a proper debugger
> they probably never will be.

That's good, thanks.  I have no objections.  In fact I had been meaning
to remove mercury_to_goedel.m myself but hadn't gotten around to it.

As a general policy, when removing features, it is probably worth
waiting a while (say a few working days) to give everyone involved a
chance to object.

Also it's best to remove one feature at a time;
I know that --convert-to-goedel and --generate-prolog are
conceptually related, but posting separate diffs for each
removal makes it easier to add the feature back if this is
every needed.  (However, now that you've already done both
at the same time it's probably not worth the effort of
separating out the two.)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------