[m-dev.] Re: trivial diff: scripts/parse_grade_options.sh-subr bug fix

[Fergus Henderson]

On 22-Sep-1998, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> On 22-Sep-1998, Thomas Charles CONWAY <conway at cs.mu.OZ.AU> wrote:
> > One question first:
> > If I give `--use-trail --grade fast' what should the result be?

Same as `--grade fast', IMHO.

> > Should a
> > --grade option reset all the grade related options?

IMHO yes.

> > Is this desirable?
> 
> There are two concepts you might want to consider
> 	- adding a grade element  (e.g. grade += fast)
> 	- overriding the grade completely (e.g. grade = fast)
> 
> It would be the usualy Mercury way to allow both ;-)

Well, we already have a way to add a grade element: just use the
relevant options (e.g. `--use-trail'; for compound grade elements
such as `fast' you may need to use several options, e.g.
`--use-gcc-nonlocal-gotos --use-gcc-global-registers --no-use-asm-labels').
So since there's already a way of adding grade elements, and also for
backwards compatibility, I think `--grade' should override the grade
completely.

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